package agentes;
import java.awt.Color;

  class Jeops_RuleBase_FormulaRegras extends jeops.AbstractRuleBase {
	
    /**
     * Identifiers of rule verificaPreenchimento1
     */
    private String[] identifiers_verificaPreenchimento1 = {
        "f"
    };

    /**
     * Returns the identifiers declared in rule verificaPreenchimento1
     *
     * @return the identifiers declared in rule verificaPreenchimento1
     */
    private String[] getDeclaredIdentifiers_verificaPreenchimento1() {
         return identifiers_verificaPreenchimento1;
    }

    /**
     * Returns the name of the class of one declared object for
     * rule verificaPreenchimento1.
     *
     * @param index the index of the declaration
     * @return the name of the class of the declared objects for
     *          this rule.
     */
    private String getDeclaredClassName_verificaPreenchimento1(int index) {
        switch (index) {
            case 0: return "agentes.Formula";
            default: return null;
        }
    }

    /**
     * Returns the class of one declared object for rule verificaPreenchimento1.
     *
     * @param index the index of the declaration
     * @return the class of the declared objects for this rule.
     */
    private Class getDeclaredClass_verificaPreenchimento1(int index) {
        switch (index) {
            case 0: return agentes.Formula.class;
            default: return null;
        }
    }

    /**
     * Sets an object declared in the rule verificaPreenchimento1.
     *
     * @param index the index of the declared object
     * @param value the value of the object being set.
     */
    private void setObject_verificaPreenchimento1(int index, Object value) {
        switch (index) {
            case 0: this.agentes_Formula_1 = (agentes.Formula) value; break;
        }
    }

    /**
     * Returns an object declared in the rule verificaPreenchimento1.
     *
     * @param index the index of the declared object
     * @return the value of the corresponding object.
     */
    private Object getObject_verificaPreenchimento1(int index) {
        switch (index) {
            case 0: return agentes_Formula_1;
            default: return null;
        }
    }

    /**
     * Returns all variables bound to the declarations 
     * of rule verificaPreenchimento1
     *
     * @return an object array of the variables bound to the
     *          declarations of this rule.
     */
    private Object[] getObjects_verificaPreenchimento1() {
        return new Object[] {
                            agentes_Formula_1
                            };
    }

    /**
     * Defines all variables bound to the declarations 
     * of rule verificaPreenchimento1
     *
     * @param objects an object array of the variables bound to the
     *          declarations of this rule.
     */
    private void setObjects_verificaPreenchimento1(Object[] objects) {
        agentes_Formula_1 = (agentes.Formula) objects[0];
    }

    /**
     * Condition 0 of rule verificaPreenchimento1.<p>
     * The original expression was:<br>
     * <code>(f.getOpcao(0).getText().isEmpty() ||
			 f.getOpcao(1).getText().isEmpty() ||
			 f.getOpcao(2).getText().isEmpty())</code>
     *
     * @return <code>true</code> if the condition is satisfied;
     *          <code>false</code> otherwise.
     */
    private boolean verificaPreenchimento1_cond_0() {
        return ((agentes_Formula_1.getOpcao(0).getText().isEmpty() ||
			 agentes_Formula_1.getOpcao(1).getText().isEmpty() ||
			 agentes_Formula_1.getOpcao(2).getText().isEmpty()));
    }

    /**
     * Checks whether some conditions of rule verificaPreenchimento1 is satisfied.
     *
     * @param index the index of the condition to be checked.
     * @return <code>true</code> if the condition is satisfied;
     *          <code>false</code> otherwise.
     */
    private boolean verificaPreenchimento1_cond(int index) {
        switch (index) {
            case 0: return verificaPreenchimento1_cond_0();
            default: return false;
        }
    }

    /**
     * Checks whether all conditions of rule verificaPreenchimento1 that depend only on
     * the given object are satisfied.
     *
     * @param declIndex the index of the declaration to be checked
     * @return <code>true</code> if all corresponding conditions for
     *          this rule are satisfied; <code>false</code> otherwise.
     */
    private boolean checkConditionsOnlyOf_verificaPreenchimento1(int declIndex) {
        switch (declIndex) {
            case 0:
                if (!verificaPreenchimento1_cond_0()) return false;
                return true;
            default: return false;
        }
    }

    /**
     * Checks whether all the conditions of a rule which
     * reference some declared element of the declarations are
     * true.
     *
     * @param declIndex the index of the declared element.
     * @return <code>true</code> if the conditions that reference
     *          up to the given declaration are true;
     *          <code>false</code> otherwise.
     */
    private boolean checkCondForDeclaration_verificaPreenchimento1(int declIndex) {
        switch (declIndex) {
            case 0:
                return true;
            default: return false;
        }
    }

    /**
     * Executes the action part of the rule verificaPreenchimento1
     */
    private void verificaPreenchimento1() {
	    	agentes_Formula_1.setAtencaoOpcao(0);
	    	agentes_Formula_1.setAtencaoOpcao(1);
	    	agentes_Formula_1.setAtencaoOpcao(2);
	    	agentes_Formula_1.mostrarAlerta(6);
	    }


	
	
    /**
     * Identifiers of rule verificaPreenchimento2
     */
    private String[] identifiers_verificaPreenchimento2 = {
        "f"
    };

    /**
     * Returns the identifiers declared in rule verificaPreenchimento2
     *
     * @return the identifiers declared in rule verificaPreenchimento2
     */
    private String[] getDeclaredIdentifiers_verificaPreenchimento2() {
         return identifiers_verificaPreenchimento2;
    }

    /**
     * Returns the name of the class of one declared object for
     * rule verificaPreenchimento2.
     *
     * @param index the index of the declaration
     * @return the name of the class of the declared objects for
     *          this rule.
     */
    private String getDeclaredClassName_verificaPreenchimento2(int index) {
        switch (index) {
            case 0: return "agentes.Formula";
            default: return null;
        }
    }

    /**
     * Returns the class of one declared object for rule verificaPreenchimento2.
     *
     * @param index the index of the declaration
     * @return the class of the declared objects for this rule.
     */
    private Class getDeclaredClass_verificaPreenchimento2(int index) {
        switch (index) {
            case 0: return agentes.Formula.class;
            default: return null;
        }
    }

    /**
     * Sets an object declared in the rule verificaPreenchimento2.
     *
     * @param index the index of the declared object
     * @param value the value of the object being set.
     */
    private void setObject_verificaPreenchimento2(int index, Object value) {
        switch (index) {
            case 0: this.agentes_Formula_1 = (agentes.Formula) value; break;
        }
    }

    /**
     * Returns an object declared in the rule verificaPreenchimento2.
     *
     * @param index the index of the declared object
     * @return the value of the corresponding object.
     */
    private Object getObject_verificaPreenchimento2(int index) {
        switch (index) {
            case 0: return agentes_Formula_1;
            default: return null;
        }
    }

    /**
     * Returns all variables bound to the declarations 
     * of rule verificaPreenchimento2
     *
     * @return an object array of the variables bound to the
     *          declarations of this rule.
     */
    private Object[] getObjects_verificaPreenchimento2() {
        return new Object[] {
                            agentes_Formula_1
                            };
    }

    /**
     * Defines all variables bound to the declarations 
     * of rule verificaPreenchimento2
     *
     * @param objects an object array of the variables bound to the
     *          declarations of this rule.
     */
    private void setObjects_verificaPreenchimento2(Object[] objects) {
        agentes_Formula_1 = (agentes.Formula) objects[0];
    }

    /**
     * Condition 0 of rule verificaPreenchimento2.<p>
     * The original expression was:<br>
     * <code>f.getPanel(0).isVisible() == true && 
			(f.getOpcao(3).getText().isEmpty() || 
			f.getOpcao(4).getText().isEmpty() || 
			f.getOpcao(5).getText().isEmpty() ||
			f.getOpcao(6).getText().isEmpty())</code>
     *
     * @return <code>true</code> if the condition is satisfied;
     *          <code>false</code> otherwise.
     */
    private boolean verificaPreenchimento2_cond_0() {
        return (agentes_Formula_1.getPanel(0).isVisible() == true && 
			(agentes_Formula_1.getOpcao(3).getText().isEmpty() || 
			agentes_Formula_1.getOpcao(4).getText().isEmpty() || 
			agentes_Formula_1.getOpcao(5).getText().isEmpty() ||
			agentes_Formula_1.getOpcao(6).getText().isEmpty()));
    }

    /**
     * Checks whether some conditions of rule verificaPreenchimento2 is satisfied.
     *
     * @param index the index of the condition to be checked.
     * @return <code>true</code> if the condition is satisfied;
     *          <code>false</code> otherwise.
     */
    private boolean verificaPreenchimento2_cond(int index) {
        switch (index) {
            case 0: return verificaPreenchimento2_cond_0();
            default: return false;
        }
    }

    /**
     * Checks whether all conditions of rule verificaPreenchimento2 that depend only on
     * the given object are satisfied.
     *
     * @param declIndex the index of the declaration to be checked
     * @return <code>true</code> if all corresponding conditions for
     *          this rule are satisfied; <code>false</code> otherwise.
     */
    private boolean checkConditionsOnlyOf_verificaPreenchimento2(int declIndex) {
        switch (declIndex) {
            case 0:
                if (!verificaPreenchimento2_cond_0()) return false;
                return true;
            default: return false;
        }
    }

    /**
     * Checks whether all the conditions of a rule which
     * reference some declared element of the declarations are
     * true.
     *
     * @param declIndex the index of the declared element.
     * @return <code>true</code> if the conditions that reference
     *          up to the given declaration are true;
     *          <code>false</code> otherwise.
     */
    private boolean checkCondForDeclaration_verificaPreenchimento2(int declIndex) {
        switch (declIndex) {
            case 0:
                return true;
            default: return false;
        }
    }

    /**
     * Executes the action part of the rule verificaPreenchimento2
     */
    private void verificaPreenchimento2() {
	    	agentes_Formula_1.setAtencaoOpcao(3);
	    	agentes_Formula_1.setAtencaoOpcao(4);
	    	agentes_Formula_1.setAtencaoOpcao(5);
	    	agentes_Formula_1.setAtencaoOpcao(6);
	    	agentes_Formula_1.mostrarAlerta(16);
	    }


	
	
    /**
     * Identifiers of rule verificaPreenchimento3
     */
    private String[] identifiers_verificaPreenchimento3 = {
        "f"
    };

    /**
     * Returns the identifiers declared in rule verificaPreenchimento3
     *
     * @return the identifiers declared in rule verificaPreenchimento3
     */
    private String[] getDeclaredIdentifiers_verificaPreenchimento3() {
         return identifiers_verificaPreenchimento3;
    }

    /**
     * Returns the name of the class of one declared object for
     * rule verificaPreenchimento3.
     *
     * @param index the index of the declaration
     * @return the name of the class of the declared objects for
     *          this rule.
     */
    private String getDeclaredClassName_verificaPreenchimento3(int index) {
        switch (index) {
            case 0: return "agentes.Formula";
            default: return null;
        }
    }

    /**
     * Returns the class of one declared object for rule verificaPreenchimento3.
     *
     * @param index the index of the declaration
     * @return the class of the declared objects for this rule.
     */
    private Class getDeclaredClass_verificaPreenchimento3(int index) {
        switch (index) {
            case 0: return agentes.Formula.class;
            default: return null;
        }
    }

    /**
     * Sets an object declared in the rule verificaPreenchimento3.
     *
     * @param index the index of the declared object
     * @param value the value of the object being set.
     */
    private void setObject_verificaPreenchimento3(int index, Object value) {
        switch (index) {
            case 0: this.agentes_Formula_1 = (agentes.Formula) value; break;
        }
    }

    /**
     * Returns an object declared in the rule verificaPreenchimento3.
     *
     * @param index the index of the declared object
     * @return the value of the corresponding object.
     */
    private Object getObject_verificaPreenchimento3(int index) {
        switch (index) {
            case 0: return agentes_Formula_1;
            default: return null;
        }
    }

    /**
     * Returns all variables bound to the declarations 
     * of rule verificaPreenchimento3
     *
     * @return an object array of the variables bound to the
     *          declarations of this rule.
     */
    private Object[] getObjects_verificaPreenchimento3() {
        return new Object[] {
                            agentes_Formula_1
                            };
    }

    /**
     * Defines all variables bound to the declarations 
     * of rule verificaPreenchimento3
     *
     * @param objects an object array of the variables bound to the
     *          declarations of this rule.
     */
    private void setObjects_verificaPreenchimento3(Object[] objects) {
        agentes_Formula_1 = (agentes.Formula) objects[0];
    }

    /**
     * Condition 0 of rule verificaPreenchimento3.<p>
     * The original expression was:<br>
     * <code>f.getPanel(1).isVisible() == true &&
			(f.getOpcao(7).getText().isEmpty() ||
			f.getOpcao(8).getText().isEmpty())</code>
     *
     * @return <code>true</code> if the condition is satisfied;
     *          <code>false</code> otherwise.
     */
    private boolean verificaPreenchimento3_cond_0() {
        return (agentes_Formula_1.getPanel(1).isVisible() == true &&
			(agentes_Formula_1.getOpcao(7).getText().isEmpty() ||
			agentes_Formula_1.getOpcao(8).getText().isEmpty()));
    }

    /**
     * Checks whether some conditions of rule verificaPreenchimento3 is satisfied.
     *
     * @param index the index of the condition to be checked.
     * @return <code>true</code> if the condition is satisfied;
     *          <code>false</code> otherwise.
     */
    private boolean verificaPreenchimento3_cond(int index) {
        switch (index) {
            case 0: return verificaPreenchimento3_cond_0();
            default: return false;
        }
    }

    /**
     * Checks whether all conditions of rule verificaPreenchimento3 that depend only on
     * the given object are satisfied.
     *
     * @param declIndex the index of the declaration to be checked
     * @return <code>true</code> if all corresponding conditions for
     *          this rule are satisfied; <code>false</code> otherwise.
     */
    private boolean checkConditionsOnlyOf_verificaPreenchimento3(int declIndex) {
        switch (declIndex) {
            case 0:
                if (!verificaPreenchimento3_cond_0()) return false;
                return true;
            default: return false;
        }
    }

    /**
     * Checks whether all the conditions of a rule which
     * reference some declared element of the declarations are
     * true.
     *
     * @param declIndex the index of the declared element.
     * @return <code>true</code> if the conditions that reference
     *          up to the given declaration are true;
     *          <code>false</code> otherwise.
     */
    private boolean checkCondForDeclaration_verificaPreenchimento3(int declIndex) {
        switch (declIndex) {
            case 0:
                return true;
            default: return false;
        }
    }

    /**
     * Executes the action part of the rule verificaPreenchimento3
     */
    private void verificaPreenchimento3() {
	    	agentes_Formula_1.setAtencaoOpcao(7);
	    	agentes_Formula_1.setAtencaoOpcao(8);
	    	agentes_Formula_1.mostrarAlerta(17);
	    }


	
	
    /**
     * Identifiers of rule verificaPreenchimento4
     */
    private String[] identifiers_verificaPreenchimento4 = {
        "f"
    };

    /**
     * Returns the identifiers declared in rule verificaPreenchimento4
     *
     * @return the identifiers declared in rule verificaPreenchimento4
     */
    private String[] getDeclaredIdentifiers_verificaPreenchimento4() {
         return identifiers_verificaPreenchimento4;
    }

    /**
     * Returns the name of the class of one declared object for
     * rule verificaPreenchimento4.
     *
     * @param index the index of the declaration
     * @return the name of the class of the declared objects for
     *          this rule.
     */
    private String getDeclaredClassName_verificaPreenchimento4(int index) {
        switch (index) {
            case 0: return "agentes.Formula";
            default: return null;
        }
    }

    /**
     * Returns the class of one declared object for rule verificaPreenchimento4.
     *
     * @param index the index of the declaration
     * @return the class of the declared objects for this rule.
     */
    private Class getDeclaredClass_verificaPreenchimento4(int index) {
        switch (index) {
            case 0: return agentes.Formula.class;
            default: return null;
        }
    }

    /**
     * Sets an object declared in the rule verificaPreenchimento4.
     *
     * @param index the index of the declared object
     * @param value the value of the object being set.
     */
    private void setObject_verificaPreenchimento4(int index, Object value) {
        switch (index) {
            case 0: this.agentes_Formula_1 = (agentes.Formula) value; break;
        }
    }

    /**
     * Returns an object declared in the rule verificaPreenchimento4.
     *
     * @param index the index of the declared object
     * @return the value of the corresponding object.
     */
    private Object getObject_verificaPreenchimento4(int index) {
        switch (index) {
            case 0: return agentes_Formula_1;
            default: return null;
        }
    }

    /**
     * Returns all variables bound to the declarations 
     * of rule verificaPreenchimento4
     *
     * @return an object array of the variables bound to the
     *          declarations of this rule.
     */
    private Object[] getObjects_verificaPreenchimento4() {
        return new Object[] {
                            agentes_Formula_1
                            };
    }

    /**
     * Defines all variables bound to the declarations 
     * of rule verificaPreenchimento4
     *
     * @param objects an object array of the variables bound to the
     *          declarations of this rule.
     */
    private void setObjects_verificaPreenchimento4(Object[] objects) {
        agentes_Formula_1 = (agentes.Formula) objects[0];
    }

    /**
     * Condition 0 of rule verificaPreenchimento4.<p>
     * The original expression was:<br>
     * <code>f.getPanel(2).isVisible() == true && f.getOpcao(9).getText().isEmpty()</code>
     *
     * @return <code>true</code> if the condition is satisfied;
     *          <code>false</code> otherwise.
     */
    private boolean verificaPreenchimento4_cond_0() {
        return (agentes_Formula_1.getPanel(2).isVisible() == true && agentes_Formula_1.getOpcao(9).getText().isEmpty());
    }

    /**
     * Checks whether some conditions of rule verificaPreenchimento4 is satisfied.
     *
     * @param index the index of the condition to be checked.
     * @return <code>true</code> if the condition is satisfied;
     *          <code>false</code> otherwise.
     */
    private boolean verificaPreenchimento4_cond(int index) {
        switch (index) {
            case 0: return verificaPreenchimento4_cond_0();
            default: return false;
        }
    }

    /**
     * Checks whether all conditions of rule verificaPreenchimento4 that depend only on
     * the given object are satisfied.
     *
     * @param declIndex the index of the declaration to be checked
     * @return <code>true</code> if all corresponding conditions for
     *          this rule are satisfied; <code>false</code> otherwise.
     */
    private boolean checkConditionsOnlyOf_verificaPreenchimento4(int declIndex) {
        switch (declIndex) {
            case 0:
                if (!verificaPreenchimento4_cond_0()) return false;
                return true;
            default: return false;
        }
    }

    /**
     * Checks whether all the conditions of a rule which
     * reference some declared element of the declarations are
     * true.
     *
     * @param declIndex the index of the declared element.
     * @return <code>true</code> if the conditions that reference
     *          up to the given declaration are true;
     *          <code>false</code> otherwise.
     */
    private boolean checkCondForDeclaration_verificaPreenchimento4(int declIndex) {
        switch (declIndex) {
            case 0:
                return true;
            default: return false;
        }
    }

    /**
     * Executes the action part of the rule verificaPreenchimento4
     */
    private void verificaPreenchimento4() {
	    	agentes_Formula_1.setAtencaoOpcao(9);
	    	agentes_Formula_1.mostrarAlerta(18);
	    }

	
	
	
    /**
     * Identifiers of rule habilitaCampos1
     */
    private String[] identifiers_habilitaCampos1 = {
        "f"
    };

    /**
     * Returns the identifiers declared in rule habilitaCampos1
     *
     * @return the identifiers declared in rule habilitaCampos1
     */
    private String[] getDeclaredIdentifiers_habilitaCampos1() {
         return identifiers_habilitaCampos1;
    }

    /**
     * Returns the name of the class of one declared object for
     * rule habilitaCampos1.
     *
     * @param index the index of the declaration
     * @return the name of the class of the declared objects for
     *          this rule.
     */
    private String getDeclaredClassName_habilitaCampos1(int index) {
        switch (index) {
            case 0: return "agentes.Formula";
            default: return null;
        }
    }

    /**
     * Returns the class of one declared object for rule habilitaCampos1.
     *
     * @param index the index of the declaration
     * @return the class of the declared objects for this rule.
     */
    private Class getDeclaredClass_habilitaCampos1(int index) {
        switch (index) {
            case 0: return agentes.Formula.class;
            default: return null;
        }
    }

    /**
     * Sets an object declared in the rule habilitaCampos1.
     *
     * @param index the index of the declared object
     * @param value the value of the object being set.
     */
    private void setObject_habilitaCampos1(int index, Object value) {
        switch (index) {
            case 0: this.agentes_Formula_1 = (agentes.Formula) value; break;
        }
    }

    /**
     * Returns an object declared in the rule habilitaCampos1.
     *
     * @param index the index of the declared object
     * @return the value of the corresponding object.
     */
    private Object getObject_habilitaCampos1(int index) {
        switch (index) {
            case 0: return agentes_Formula_1;
            default: return null;
        }
    }

    /**
     * Returns all variables bound to the declarations 
     * of rule habilitaCampos1
     *
     * @return an object array of the variables bound to the
     *          declarations of this rule.
     */
    private Object[] getObjects_habilitaCampos1() {
        return new Object[] {
                            agentes_Formula_1
                            };
    }

    /**
     * Defines all variables bound to the declarations 
     * of rule habilitaCampos1
     *
     * @param objects an object array of the variables bound to the
     *          declarations of this rule.
     */
    private void setObjects_habilitaCampos1(Object[] objects) {
        agentes_Formula_1 = (agentes.Formula) objects[0];
    }

    /**
     * Condition 0 of rule habilitaCampos1.<p>
     * The original expression was:<br>
     * <code>(f.getPanel(0).isVisible() == false && 
				f.getValueOpcao(0) == 4 && 
				f.getValueOpcao(1) == 4 &&
				f.getValueOpcao(2) == 2)</code>
     *
     * @return <code>true</code> if the condition is satisfied;
     *          <code>false</code> otherwise.
     */
    private boolean habilitaCampos1_cond_0() {
        return ((agentes_Formula_1.getPanel(0).isVisible() == false && 
				agentes_Formula_1.getValueOpcao(0) == 4 && 
				agentes_Formula_1.getValueOpcao(1) == 4 &&
				agentes_Formula_1.getValueOpcao(2) == 2));
    }

    /**
     * Checks whether some conditions of rule habilitaCampos1 is satisfied.
     *
     * @param index the index of the condition to be checked.
     * @return <code>true</code> if the condition is satisfied;
     *          <code>false</code> otherwise.
     */
    private boolean habilitaCampos1_cond(int index) {
        switch (index) {
            case 0: return habilitaCampos1_cond_0();
            default: return false;
        }
    }

    /**
     * Checks whether all conditions of rule habilitaCampos1 that depend only on
     * the given object are satisfied.
     *
     * @param declIndex the index of the declaration to be checked
     * @return <code>true</code> if all corresponding conditions for
     *          this rule are satisfied; <code>false</code> otherwise.
     */
    private boolean checkConditionsOnlyOf_habilitaCampos1(int declIndex) {
        switch (declIndex) {
            case 0:
                if (!habilitaCampos1_cond_0()) return false;
                return true;
            default: return false;
        }
    }

    /**
     * Checks whether all the conditions of a rule which
     * reference some declared element of the declarations are
     * true.
     *
     * @param declIndex the index of the declared element.
     * @return <code>true</code> if the conditions that reference
     *          up to the given declaration are true;
     *          <code>false</code> otherwise.
     */
    private boolean checkCondForDeclaration_habilitaCampos1(int declIndex) {
        switch (declIndex) {
            case 0:
                return true;
            default: return false;
        }
    }

    /**
     * Executes the action part of the rule habilitaCampos1
     */
    private void habilitaCampos1() {
    		agentes_Formula_1.setOkOpcao(0);
	    	agentes_Formula_1.setOkOpcao(1);
	    	agentes_Formula_1.setOkOpcao(2);
	    	agentes_Formula_1.getOpcao(0).setEditable(false);
	    	agentes_Formula_1.getOpcao(1).setEditable(false);
	    	agentes_Formula_1.getOpcao(2).setEditable(false);
	    	agentes_Formula_1.getPanel(0).setVisible(true);
	    	agentes_Formula_1.moveBtnValida(140);
	    }


	
	
    /**
     * Identifiers of rule habilitaCampos2
     */
    private String[] identifiers_habilitaCampos2 = {
        "f"
    };

    /**
     * Returns the identifiers declared in rule habilitaCampos2
     *
     * @return the identifiers declared in rule habilitaCampos2
     */
    private String[] getDeclaredIdentifiers_habilitaCampos2() {
         return identifiers_habilitaCampos2;
    }

    /**
     * Returns the name of the class of one declared object for
     * rule habilitaCampos2.
     *
     * @param index the index of the declaration
     * @return the name of the class of the declared objects for
     *          this rule.
     */
    private String getDeclaredClassName_habilitaCampos2(int index) {
        switch (index) {
            case 0: return "agentes.Formula";
            default: return null;
        }
    }

    /**
     * Returns the class of one declared object for rule habilitaCampos2.
     *
     * @param index the index of the declaration
     * @return the class of the declared objects for this rule.
     */
    private Class getDeclaredClass_habilitaCampos2(int index) {
        switch (index) {
            case 0: return agentes.Formula.class;
            default: return null;
        }
    }

    /**
     * Sets an object declared in the rule habilitaCampos2.
     *
     * @param index the index of the declared object
     * @param value the value of the object being set.
     */
    private void setObject_habilitaCampos2(int index, Object value) {
        switch (index) {
            case 0: this.agentes_Formula_1 = (agentes.Formula) value; break;
        }
    }

    /**
     * Returns an object declared in the rule habilitaCampos2.
     *
     * @param index the index of the declared object
     * @return the value of the corresponding object.
     */
    private Object getObject_habilitaCampos2(int index) {
        switch (index) {
            case 0: return agentes_Formula_1;
            default: return null;
        }
    }

    /**
     * Returns all variables bound to the declarations 
     * of rule habilitaCampos2
     *
     * @return an object array of the variables bound to the
     *          declarations of this rule.
     */
    private Object[] getObjects_habilitaCampos2() {
        return new Object[] {
                            agentes_Formula_1
                            };
    }

    /**
     * Defines all variables bound to the declarations 
     * of rule habilitaCampos2
     *
     * @param objects an object array of the variables bound to the
     *          declarations of this rule.
     */
    private void setObjects_habilitaCampos2(Object[] objects) {
        agentes_Formula_1 = (agentes.Formula) objects[0];
    }

    /**
     * Condition 0 of rule habilitaCampos2.<p>
     * The original expression was:<br>
     * <code>f.getPanel(1).isVisible() == false && f.getValueOpcao(5) == 2 && f.getValueOpcao(6) == 2 &&  
				((f.getValueOpcao(3) == 4 && f.getValueOpcao(4) == 3) ||
				(f.getValueOpcao(3) == 3 && f.getValueOpcao(4) == 4))</code>
     *
     * @return <code>true</code> if the condition is satisfied;
     *          <code>false</code> otherwise.
     */
    private boolean habilitaCampos2_cond_0() {
        return (agentes_Formula_1.getPanel(1).isVisible() == false && agentes_Formula_1.getValueOpcao(5) == 2 && agentes_Formula_1.getValueOpcao(6) == 2 &&  
				((agentes_Formula_1.getValueOpcao(3) == 4 && agentes_Formula_1.getValueOpcao(4) == 3) ||
				(agentes_Formula_1.getValueOpcao(3) == 3 && agentes_Formula_1.getValueOpcao(4) == 4)));
    }

    /**
     * Checks whether some conditions of rule habilitaCampos2 is satisfied.
     *
     * @param index the index of the condition to be checked.
     * @return <code>true</code> if the condition is satisfied;
     *          <code>false</code> otherwise.
     */
    private boolean habilitaCampos2_cond(int index) {
        switch (index) {
            case 0: return habilitaCampos2_cond_0();
            default: return false;
        }
    }

    /**
     * Checks whether all conditions of rule habilitaCampos2 that depend only on
     * the given object are satisfied.
     *
     * @param declIndex the index of the declaration to be checked
     * @return <code>true</code> if all corresponding conditions for
     *          this rule are satisfied; <code>false</code> otherwise.
     */
    private boolean checkConditionsOnlyOf_habilitaCampos2(int declIndex) {
        switch (declIndex) {
            case 0:
                if (!habilitaCampos2_cond_0()) return false;
                return true;
            default: return false;
        }
    }

    /**
     * Checks whether all the conditions of a rule which
     * reference some declared element of the declarations are
     * true.
     *
     * @param declIndex the index of the declared element.
     * @return <code>true</code> if the conditions that reference
     *          up to the given declaration are true;
     *          <code>false</code> otherwise.
     */
    private boolean checkCondForDeclaration_habilitaCampos2(int declIndex) {
        switch (declIndex) {
            case 0:
                return true;
            default: return false;
        }
    }

    /**
     * Executes the action part of the rule habilitaCampos2
     */
    private void habilitaCampos2() {
    		agentes_Formula_1.moveBtnValida(130);
    		agentes_Formula_1.setOkOpcao(3);
	    	agentes_Formula_1.setOkOpcao(4);
	    	agentes_Formula_1.setCutOpcao(5);
	    	agentes_Formula_1.setCutOpcao(6);
	    	agentes_Formula_1.getOpcao(3).setEditable(false);
	    	agentes_Formula_1.getOpcao(4).setEditable(false);
	    	agentes_Formula_1.getOpcao(5).setEditable(false);
	    	agentes_Formula_1.getOpcao(6).setEditable(false);
	    	agentes_Formula_1.getPanel(1).setVisible(true);
	    }



	
    /**
     * Identifiers of rule habilitaCampos3
     */
    private String[] identifiers_habilitaCampos3 = {
        "f"
    };

    /**
     * Returns the identifiers declared in rule habilitaCampos3
     *
     * @return the identifiers declared in rule habilitaCampos3
     */
    private String[] getDeclaredIdentifiers_habilitaCampos3() {
         return identifiers_habilitaCampos3;
    }

    /**
     * Returns the name of the class of one declared object for
     * rule habilitaCampos3.
     *
     * @param index the index of the declaration
     * @return the name of the class of the declared objects for
     *          this rule.
     */
    private String getDeclaredClassName_habilitaCampos3(int index) {
        switch (index) {
            case 0: return "agentes.Formula";
            default: return null;
        }
    }

    /**
     * Returns the class of one declared object for rule habilitaCampos3.
     *
     * @param index the index of the declaration
     * @return the class of the declared objects for this rule.
     */
    private Class getDeclaredClass_habilitaCampos3(int index) {
        switch (index) {
            case 0: return agentes.Formula.class;
            default: return null;
        }
    }

    /**
     * Sets an object declared in the rule habilitaCampos3.
     *
     * @param index the index of the declared object
     * @param value the value of the object being set.
     */
    private void setObject_habilitaCampos3(int index, Object value) {
        switch (index) {
            case 0: this.agentes_Formula_1 = (agentes.Formula) value; break;
        }
    }

    /**
     * Returns an object declared in the rule habilitaCampos3.
     *
     * @param index the index of the declared object
     * @return the value of the corresponding object.
     */
    private Object getObject_habilitaCampos3(int index) {
        switch (index) {
            case 0: return agentes_Formula_1;
            default: return null;
        }
    }

    /**
     * Returns all variables bound to the declarations 
     * of rule habilitaCampos3
     *
     * @return an object array of the variables bound to the
     *          declarations of this rule.
     */
    private Object[] getObjects_habilitaCampos3() {
        return new Object[] {
                            agentes_Formula_1
                            };
    }

    /**
     * Defines all variables bound to the declarations 
     * of rule habilitaCampos3
     *
     * @param objects an object array of the variables bound to the
     *          declarations of this rule.
     */
    private void setObjects_habilitaCampos3(Object[] objects) {
        agentes_Formula_1 = (agentes.Formula) objects[0];
    }

    /**
     * Condition 0 of rule habilitaCampos3.<p>
     * The original expression was:<br>
     * <code>f.getPanel(2).isVisible() == false &&   
			((f.getValueOpcao(7) == 4 && f.getValueOpcao(8) == 3) ||
			(f.getValueOpcao(7) == 3 && f.getValueOpcao(8) == 4))</code>
     *
     * @return <code>true</code> if the condition is satisfied;
     *          <code>false</code> otherwise.
     */
    private boolean habilitaCampos3_cond_0() {
        return (agentes_Formula_1.getPanel(2).isVisible() == false &&   
			((agentes_Formula_1.getValueOpcao(7) == 4 && agentes_Formula_1.getValueOpcao(8) == 3) ||
			(agentes_Formula_1.getValueOpcao(7) == 3 && agentes_Formula_1.getValueOpcao(8) == 4)));
    }

    /**
     * Checks whether some conditions of rule habilitaCampos3 is satisfied.
     *
     * @param index the index of the condition to be checked.
     * @return <code>true</code> if the condition is satisfied;
     *          <code>false</code> otherwise.
     */
    private boolean habilitaCampos3_cond(int index) {
        switch (index) {
            case 0: return habilitaCampos3_cond_0();
            default: return false;
        }
    }

    /**
     * Checks whether all conditions of rule habilitaCampos3 that depend only on
     * the given object are satisfied.
     *
     * @param declIndex the index of the declaration to be checked
     * @return <code>true</code> if all corresponding conditions for
     *          this rule are satisfied; <code>false</code> otherwise.
     */
    private boolean checkConditionsOnlyOf_habilitaCampos3(int declIndex) {
        switch (declIndex) {
            case 0:
                if (!habilitaCampos3_cond_0()) return false;
                return true;
            default: return false;
        }
    }

    /**
     * Checks whether all the conditions of a rule which
     * reference some declared element of the declarations are
     * true.
     *
     * @param declIndex the index of the declared element.
     * @return <code>true</code> if the conditions that reference
     *          up to the given declaration are true;
     *          <code>false</code> otherwise.
     */
    private boolean checkCondForDeclaration_habilitaCampos3(int declIndex) {
        switch (declIndex) {
            case 0:
                return true;
            default: return false;
        }
    }

    /**
     * Executes the action part of the rule habilitaCampos3
     */
    private void habilitaCampos3() {
    		agentes_Formula_1.setOkOpcao(7);
	    	agentes_Formula_1.setOkOpcao(8);
	    	agentes_Formula_1.getOpcao(7).setEditable(false);
	    	agentes_Formula_1.getOpcao(8).setEditable(false);
	    	agentes_Formula_1.getPanel(2).setVisible(true);
	    	agentes_Formula_1.moveBtnValida(70);
	    }



	
    /**
     * Identifiers of rule respostaValida1
     */
    private String[] identifiers_respostaValida1 = {
        "f"
    };

    /**
     * Returns the identifiers declared in rule respostaValida1
     *
     * @return the identifiers declared in rule respostaValida1
     */
    private String[] getDeclaredIdentifiers_respostaValida1() {
         return identifiers_respostaValida1;
    }

    /**
     * Returns the name of the class of one declared object for
     * rule respostaValida1.
     *
     * @param index the index of the declaration
     * @return the name of the class of the declared objects for
     *          this rule.
     */
    private String getDeclaredClassName_respostaValida1(int index) {
        switch (index) {
            case 0: return "agentes.Formula";
            default: return null;
        }
    }

    /**
     * Returns the class of one declared object for rule respostaValida1.
     *
     * @param index the index of the declaration
     * @return the class of the declared objects for this rule.
     */
    private Class getDeclaredClass_respostaValida1(int index) {
        switch (index) {
            case 0: return agentes.Formula.class;
            default: return null;
        }
    }

    /**
     * Sets an object declared in the rule respostaValida1.
     *
     * @param index the index of the declared object
     * @param value the value of the object being set.
     */
    private void setObject_respostaValida1(int index, Object value) {
        switch (index) {
            case 0: this.agentes_Formula_1 = (agentes.Formula) value; break;
        }
    }

    /**
     * Returns an object declared in the rule respostaValida1.
     *
     * @param index the index of the declared object
     * @return the value of the corresponding object.
     */
    private Object getObject_respostaValida1(int index) {
        switch (index) {
            case 0: return agentes_Formula_1;
            default: return null;
        }
    }

    /**
     * Returns all variables bound to the declarations 
     * of rule respostaValida1
     *
     * @return an object array of the variables bound to the
     *          declarations of this rule.
     */
    private Object[] getObjects_respostaValida1() {
        return new Object[] {
                            agentes_Formula_1
                            };
    }

    /**
     * Defines all variables bound to the declarations 
     * of rule respostaValida1
     *
     * @param objects an object array of the variables bound to the
     *          declarations of this rule.
     */
    private void setObjects_respostaValida1(Object[] objects) {
        agentes_Formula_1 = (agentes.Formula) objects[0];
    }

    /**
     * Condition 0 of rule respostaValida1.<p>
     * The original expression was:<br>
     * <code>(f.getPanel(2).isVisible() == true && f.getValueOpcao(9) == 12)</code>
     *
     * @return <code>true</code> if the condition is satisfied;
     *          <code>false</code> otherwise.
     */
    private boolean respostaValida1_cond_0() {
        return ((agentes_Formula_1.getPanel(2).isVisible() == true && agentes_Formula_1.getValueOpcao(9) == 12));
    }

    /**
     * Checks whether some conditions of rule respostaValida1 is satisfied.
     *
     * @param index the index of the condition to be checked.
     * @return <code>true</code> if the condition is satisfied;
     *          <code>false</code> otherwise.
     */
    private boolean respostaValida1_cond(int index) {
        switch (index) {
            case 0: return respostaValida1_cond_0();
            default: return false;
        }
    }

    /**
     * Checks whether all conditions of rule respostaValida1 that depend only on
     * the given object are satisfied.
     *
     * @param declIndex the index of the declaration to be checked
     * @return <code>true</code> if all corresponding conditions for
     *          this rule are satisfied; <code>false</code> otherwise.
     */
    private boolean checkConditionsOnlyOf_respostaValida1(int declIndex) {
        switch (declIndex) {
            case 0:
                if (!respostaValida1_cond_0()) return false;
                return true;
            default: return false;
        }
    }

    /**
     * Checks whether all the conditions of a rule which
     * reference some declared element of the declarations are
     * true.
     *
     * @param declIndex the index of the declared element.
     * @return <code>true</code> if the conditions that reference
     *          up to the given declaration are true;
     *          <code>false</code> otherwise.
     */
    private boolean checkCondForDeclaration_respostaValida1(int declIndex) {
        switch (declIndex) {
            case 0:
                return true;
            default: return false;
        }
    }

    /**
     * Executes the action part of the rule respostaValida1
     */
    private void respostaValida1() {
    		agentes_Formula_1.setOkOpcao(9);
	    	agentes_Formula_1.getOpcao(9).setEditable(false);
    		agentes_Formula_1.mostrarAlerta(7);
	    	agentes_Formula_1.removeBtnValida();
	    }



	
    /**
     * Identifiers of rule respostaValida2
     */
    private String[] identifiers_respostaValida2 = {
        "f"
    };

    /**
     * Returns the identifiers declared in rule respostaValida2
     *
     * @return the identifiers declared in rule respostaValida2
     */
    private String[] getDeclaredIdentifiers_respostaValida2() {
         return identifiers_respostaValida2;
    }

    /**
     * Returns the name of the class of one declared object for
     * rule respostaValida2.
     *
     * @param index the index of the declaration
     * @return the name of the class of the declared objects for
     *          this rule.
     */
    private String getDeclaredClassName_respostaValida2(int index) {
        switch (index) {
            case 0: return "agentes.Formula";
            default: return null;
        }
    }

    /**
     * Returns the class of one declared object for rule respostaValida2.
     *
     * @param index the index of the declaration
     * @return the class of the declared objects for this rule.
     */
    private Class getDeclaredClass_respostaValida2(int index) {
        switch (index) {
            case 0: return agentes.Formula.class;
            default: return null;
        }
    }

    /**
     * Sets an object declared in the rule respostaValida2.
     *
     * @param index the index of the declared object
     * @param value the value of the object being set.
     */
    private void setObject_respostaValida2(int index, Object value) {
        switch (index) {
            case 0: this.agentes_Formula_1 = (agentes.Formula) value; break;
        }
    }

    /**
     * Returns an object declared in the rule respostaValida2.
     *
     * @param index the index of the declared object
     * @return the value of the corresponding object.
     */
    private Object getObject_respostaValida2(int index) {
        switch (index) {
            case 0: return agentes_Formula_1;
            default: return null;
        }
    }

    /**
     * Returns all variables bound to the declarations 
     * of rule respostaValida2
     *
     * @return an object array of the variables bound to the
     *          declarations of this rule.
     */
    private Object[] getObjects_respostaValida2() {
        return new Object[] {
                            agentes_Formula_1
                            };
    }

    /**
     * Defines all variables bound to the declarations 
     * of rule respostaValida2
     *
     * @param objects an object array of the variables bound to the
     *          declarations of this rule.
     */
    private void setObjects_respostaValida2(Object[] objects) {
        agentes_Formula_1 = (agentes.Formula) objects[0];
    }

    /**
     * Condition 0 of rule respostaValida2.<p>
     * The original expression was:<br>
     * <code>f.getPanel(0).isVisible() == true &&
			((f.getValueOpcao(5) == 2 && f.getValueOpcao(3) == 4 && f.getValueOpcao(4) == 3) || 
			(f.getValueOpcao(5) == 2 && f.getValueOpcao(3) == 3 && f.getValueOpcao(4) == 4))</code>
     *
     * @return <code>true</code> if the condition is satisfied;
     *          <code>false</code> otherwise.
     */
    private boolean respostaValida2_cond_0() {
        return (agentes_Formula_1.getPanel(0).isVisible() == true &&
			((agentes_Formula_1.getValueOpcao(5) == 2 && agentes_Formula_1.getValueOpcao(3) == 4 && agentes_Formula_1.getValueOpcao(4) == 3) || 
			(agentes_Formula_1.getValueOpcao(5) == 2 && agentes_Formula_1.getValueOpcao(3) == 3 && agentes_Formula_1.getValueOpcao(4) == 4)));
    }

    /**
     * Checks whether some conditions of rule respostaValida2 is satisfied.
     *
     * @param index the index of the condition to be checked.
     * @return <code>true</code> if the condition is satisfied;
     *          <code>false</code> otherwise.
     */
    private boolean respostaValida2_cond(int index) {
        switch (index) {
            case 0: return respostaValida2_cond_0();
            default: return false;
        }
    }

    /**
     * Checks whether all conditions of rule respostaValida2 that depend only on
     * the given object are satisfied.
     *
     * @param declIndex the index of the declaration to be checked
     * @return <code>true</code> if all corresponding conditions for
     *          this rule are satisfied; <code>false</code> otherwise.
     */
    private boolean checkConditionsOnlyOf_respostaValida2(int declIndex) {
        switch (declIndex) {
            case 0:
                if (!respostaValida2_cond_0()) return false;
                return true;
            default: return false;
        }
    }

    /**
     * Checks whether all the conditions of a rule which
     * reference some declared element of the declarations are
     * true.
     *
     * @param declIndex the index of the declared element.
     * @return <code>true</code> if the conditions that reference
     *          up to the given declaration are true;
     *          <code>false</code> otherwise.
     */
    private boolean checkCondForDeclaration_respostaValida2(int declIndex) {
        switch (declIndex) {
            case 0:
                return true;
            default: return false;
        }
    }

    /**
     * Executes the action part of the rule respostaValida2
     */
    private void respostaValida2() {
	    	agentes_Formula_1.setOkOpcao(3);
	    	agentes_Formula_1.setOkOpcao(4);
	    	agentes_Formula_1.setOkOpcao(5);
	    }



	
    /**
     * Identifiers of rule respostaValida3
     */
    private String[] identifiers_respostaValida3 = {
        "f"
    };

    /**
     * Returns the identifiers declared in rule respostaValida3
     *
     * @return the identifiers declared in rule respostaValida3
     */
    private String[] getDeclaredIdentifiers_respostaValida3() {
         return identifiers_respostaValida3;
    }

    /**
     * Returns the name of the class of one declared object for
     * rule respostaValida3.
     *
     * @param index the index of the declaration
     * @return the name of the class of the declared objects for
     *          this rule.
     */
    private String getDeclaredClassName_respostaValida3(int index) {
        switch (index) {
            case 0: return "agentes.Formula";
            default: return null;
        }
    }

    /**
     * Returns the class of one declared object for rule respostaValida3.
     *
     * @param index the index of the declaration
     * @return the class of the declared objects for this rule.
     */
    private Class getDeclaredClass_respostaValida3(int index) {
        switch (index) {
            case 0: return agentes.Formula.class;
            default: return null;
        }
    }

    /**
     * Sets an object declared in the rule respostaValida3.
     *
     * @param index the index of the declared object
     * @param value the value of the object being set.
     */
    private void setObject_respostaValida3(int index, Object value) {
        switch (index) {
            case 0: this.agentes_Formula_1 = (agentes.Formula) value; break;
        }
    }

    /**
     * Returns an object declared in the rule respostaValida3.
     *
     * @param index the index of the declared object
     * @return the value of the corresponding object.
     */
    private Object getObject_respostaValida3(int index) {
        switch (index) {
            case 0: return agentes_Formula_1;
            default: return null;
        }
    }

    /**
     * Returns all variables bound to the declarations 
     * of rule respostaValida3
     *
     * @return an object array of the variables bound to the
     *          declarations of this rule.
     */
    private Object[] getObjects_respostaValida3() {
        return new Object[] {
                            agentes_Formula_1
                            };
    }

    /**
     * Defines all variables bound to the declarations 
     * of rule respostaValida3
     *
     * @param objects an object array of the variables bound to the
     *          declarations of this rule.
     */
    private void setObjects_respostaValida3(Object[] objects) {
        agentes_Formula_1 = (agentes.Formula) objects[0];
    }

    /**
     * Condition 0 of rule respostaValida3.<p>
     * The original expression was:<br>
     * <code>(f.getValueOpcao(6) == 2)</code>
     *
     * @return <code>true</code> if the condition is satisfied;
     *          <code>false</code> otherwise.
     */
    private boolean respostaValida3_cond_0() {
        return ((agentes_Formula_1.getValueOpcao(6) == 2));
    }

    /**
     * Checks whether some conditions of rule respostaValida3 is satisfied.
     *
     * @param index the index of the condition to be checked.
     * @return <code>true</code> if the condition is satisfied;
     *          <code>false</code> otherwise.
     */
    private boolean respostaValida3_cond(int index) {
        switch (index) {
            case 0: return respostaValida3_cond_0();
            default: return false;
        }
    }

    /**
     * Checks whether all conditions of rule respostaValida3 that depend only on
     * the given object are satisfied.
     *
     * @param declIndex the index of the declaration to be checked
     * @return <code>true</code> if all corresponding conditions for
     *          this rule are satisfied; <code>false</code> otherwise.
     */
    private boolean checkConditionsOnlyOf_respostaValida3(int declIndex) {
        switch (declIndex) {
            case 0:
                if (!respostaValida3_cond_0()) return false;
                return true;
            default: return false;
        }
    }

    /**
     * Checks whether all the conditions of a rule which
     * reference some declared element of the declarations are
     * true.
     *
     * @param declIndex the index of the declared element.
     * @return <code>true</code> if the conditions that reference
     *          up to the given declaration are true;
     *          <code>false</code> otherwise.
     */
    private boolean checkCondForDeclaration_respostaValida3(int declIndex) {
        switch (declIndex) {
            case 0:
                return true;
            default: return false;
        }
    }

    /**
     * Executes the action part of the rule respostaValida3
     */
    private void respostaValida3() {
	    	agentes_Formula_1.setOkOpcao(6);
	    }


	
	
	
    /**
     * Identifiers of rule respostaInvalida1
     */
    private String[] identifiers_respostaInvalida1 = {
        "f"
    };

    /**
     * Returns the identifiers declared in rule respostaInvalida1
     *
     * @return the identifiers declared in rule respostaInvalida1
     */
    private String[] getDeclaredIdentifiers_respostaInvalida1() {
         return identifiers_respostaInvalida1;
    }

    /**
     * Returns the name of the class of one declared object for
     * rule respostaInvalida1.
     *
     * @param index the index of the declaration
     * @return the name of the class of the declared objects for
     *          this rule.
     */
    private String getDeclaredClassName_respostaInvalida1(int index) {
        switch (index) {
            case 0: return "agentes.Formula";
            default: return null;
        }
    }

    /**
     * Returns the class of one declared object for rule respostaInvalida1.
     *
     * @param index the index of the declaration
     * @return the class of the declared objects for this rule.
     */
    private Class getDeclaredClass_respostaInvalida1(int index) {
        switch (index) {
            case 0: return agentes.Formula.class;
            default: return null;
        }
    }

    /**
     * Sets an object declared in the rule respostaInvalida1.
     *
     * @param index the index of the declared object
     * @param value the value of the object being set.
     */
    private void setObject_respostaInvalida1(int index, Object value) {
        switch (index) {
            case 0: this.agentes_Formula_1 = (agentes.Formula) value; break;
        }
    }

    /**
     * Returns an object declared in the rule respostaInvalida1.
     *
     * @param index the index of the declared object
     * @return the value of the corresponding object.
     */
    private Object getObject_respostaInvalida1(int index) {
        switch (index) {
            case 0: return agentes_Formula_1;
            default: return null;
        }
    }

    /**
     * Returns all variables bound to the declarations 
     * of rule respostaInvalida1
     *
     * @return an object array of the variables bound to the
     *          declarations of this rule.
     */
    private Object[] getObjects_respostaInvalida1() {
        return new Object[] {
                            agentes_Formula_1
                            };
    }

    /**
     * Defines all variables bound to the declarations 
     * of rule respostaInvalida1
     *
     * @param objects an object array of the variables bound to the
     *          declarations of this rule.
     */
    private void setObjects_respostaInvalida1(Object[] objects) {
        agentes_Formula_1 = (agentes.Formula) objects[0];
    }

    /**
     * Condition 0 of rule respostaInvalida1.<p>
     * The original expression was:<br>
     * <code>(f.getPanel(2).isVisible() == true && f.getValueOpcao(9) != 12)</code>
     *
     * @return <code>true</code> if the condition is satisfied;
     *          <code>false</code> otherwise.
     */
    private boolean respostaInvalida1_cond_0() {
        return ((agentes_Formula_1.getPanel(2).isVisible() == true && agentes_Formula_1.getValueOpcao(9) != 12));
    }

    /**
     * Checks whether some conditions of rule respostaInvalida1 is satisfied.
     *
     * @param index the index of the condition to be checked.
     * @return <code>true</code> if the condition is satisfied;
     *          <code>false</code> otherwise.
     */
    private boolean respostaInvalida1_cond(int index) {
        switch (index) {
            case 0: return respostaInvalida1_cond_0();
            default: return false;
        }
    }

    /**
     * Checks whether all conditions of rule respostaInvalida1 that depend only on
     * the given object are satisfied.
     *
     * @param declIndex the index of the declaration to be checked
     * @return <code>true</code> if all corresponding conditions for
     *          this rule are satisfied; <code>false</code> otherwise.
     */
    private boolean checkConditionsOnlyOf_respostaInvalida1(int declIndex) {
        switch (declIndex) {
            case 0:
                if (!respostaInvalida1_cond_0()) return false;
                return true;
            default: return false;
        }
    }

    /**
     * Checks whether all the conditions of a rule which
     * reference some declared element of the declarations are
     * true.
     *
     * @param declIndex the index of the declared element.
     * @return <code>true</code> if the conditions that reference
     *          up to the given declaration are true;
     *          <code>false</code> otherwise.
     */
    private boolean checkCondForDeclaration_respostaInvalida1(int declIndex) {
        switch (declIndex) {
            case 0:
                return true;
            default: return false;
        }
    }

    /**
     * Executes the action part of the rule respostaInvalida1
     */
    private void respostaInvalida1() {
	    	agentes_Formula_1.setErrorOpcao(9);
			agentes_Formula_1.mostrarAlerta(1);
	    }


	
	
    /**
     * Identifiers of rule respostaInvalida2
     */
    private String[] identifiers_respostaInvalida2 = {
        "f"
    };

    /**
     * Returns the identifiers declared in rule respostaInvalida2
     *
     * @return the identifiers declared in rule respostaInvalida2
     */
    private String[] getDeclaredIdentifiers_respostaInvalida2() {
         return identifiers_respostaInvalida2;
    }

    /**
     * Returns the name of the class of one declared object for
     * rule respostaInvalida2.
     *
     * @param index the index of the declaration
     * @return the name of the class of the declared objects for
     *          this rule.
     */
    private String getDeclaredClassName_respostaInvalida2(int index) {
        switch (index) {
            case 0: return "agentes.Formula";
            default: return null;
        }
    }

    /**
     * Returns the class of one declared object for rule respostaInvalida2.
     *
     * @param index the index of the declaration
     * @return the class of the declared objects for this rule.
     */
    private Class getDeclaredClass_respostaInvalida2(int index) {
        switch (index) {
            case 0: return agentes.Formula.class;
            default: return null;
        }
    }

    /**
     * Sets an object declared in the rule respostaInvalida2.
     *
     * @param index the index of the declared object
     * @param value the value of the object being set.
     */
    private void setObject_respostaInvalida2(int index, Object value) {
        switch (index) {
            case 0: this.agentes_Formula_1 = (agentes.Formula) value; break;
        }
    }

    /**
     * Returns an object declared in the rule respostaInvalida2.
     *
     * @param index the index of the declared object
     * @return the value of the corresponding object.
     */
    private Object getObject_respostaInvalida2(int index) {
        switch (index) {
            case 0: return agentes_Formula_1;
            default: return null;
        }
    }

    /**
     * Returns all variables bound to the declarations 
     * of rule respostaInvalida2
     *
     * @return an object array of the variables bound to the
     *          declarations of this rule.
     */
    private Object[] getObjects_respostaInvalida2() {
        return new Object[] {
                            agentes_Formula_1
                            };
    }

    /**
     * Defines all variables bound to the declarations 
     * of rule respostaInvalida2
     *
     * @param objects an object array of the variables bound to the
     *          declarations of this rule.
     */
    private void setObjects_respostaInvalida2(Object[] objects) {
        agentes_Formula_1 = (agentes.Formula) objects[0];
    }

    /**
     * Condition 0 of rule respostaInvalida2.<p>
     * The original expression was:<br>
     * <code>(f.getValueOpcao(0) == 2)</code>
     *
     * @return <code>true</code> if the condition is satisfied;
     *          <code>false</code> otherwise.
     */
    private boolean respostaInvalida2_cond_0() {
        return ((agentes_Formula_1.getValueOpcao(0) == 2));
    }

    /**
     * Checks whether some conditions of rule respostaInvalida2 is satisfied.
     *
     * @param index the index of the condition to be checked.
     * @return <code>true</code> if the condition is satisfied;
     *          <code>false</code> otherwise.
     */
    private boolean respostaInvalida2_cond(int index) {
        switch (index) {
            case 0: return respostaInvalida2_cond_0();
            default: return false;
        }
    }

    /**
     * Checks whether all conditions of rule respostaInvalida2 that depend only on
     * the given object are satisfied.
     *
     * @param declIndex the index of the declaration to be checked
     * @return <code>true</code> if all corresponding conditions for
     *          this rule are satisfied; <code>false</code> otherwise.
     */
    private boolean checkConditionsOnlyOf_respostaInvalida2(int declIndex) {
        switch (declIndex) {
            case 0:
                if (!respostaInvalida2_cond_0()) return false;
                return true;
            default: return false;
        }
    }

    /**
     * Checks whether all the conditions of a rule which
     * reference some declared element of the declarations are
     * true.
     *
     * @param declIndex the index of the declared element.
     * @return <code>true</code> if the conditions that reference
     *          up to the given declaration are true;
     *          <code>false</code> otherwise.
     */
    private boolean checkCondForDeclaration_respostaInvalida2(int declIndex) {
        switch (declIndex) {
            case 0:
                return true;
            default: return false;
        }
    }

    /**
     * Executes the action part of the rule respostaInvalida2
     */
    private void respostaInvalida2() {
	    	agentes_Formula_1.setErrorOpcao(0);
			agentes_Formula_1.mostrarAlerta(2);
	    }


	
	
	
    /**
     * Identifiers of rule respostaInvalida3
     */
    private String[] identifiers_respostaInvalida3 = {
        "f"
    };

    /**
     * Returns the identifiers declared in rule respostaInvalida3
     *
     * @return the identifiers declared in rule respostaInvalida3
     */
    private String[] getDeclaredIdentifiers_respostaInvalida3() {
         return identifiers_respostaInvalida3;
    }

    /**
     * Returns the name of the class of one declared object for
     * rule respostaInvalida3.
     *
     * @param index the index of the declaration
     * @return the name of the class of the declared objects for
     *          this rule.
     */
    private String getDeclaredClassName_respostaInvalida3(int index) {
        switch (index) {
            case 0: return "agentes.Formula";
            default: return null;
        }
    }

    /**
     * Returns the class of one declared object for rule respostaInvalida3.
     *
     * @param index the index of the declaration
     * @return the class of the declared objects for this rule.
     */
    private Class getDeclaredClass_respostaInvalida3(int index) {
        switch (index) {
            case 0: return agentes.Formula.class;
            default: return null;
        }
    }

    /**
     * Sets an object declared in the rule respostaInvalida3.
     *
     * @param index the index of the declared object
     * @param value the value of the object being set.
     */
    private void setObject_respostaInvalida3(int index, Object value) {
        switch (index) {
            case 0: this.agentes_Formula_1 = (agentes.Formula) value; break;
        }
    }

    /**
     * Returns an object declared in the rule respostaInvalida3.
     *
     * @param index the index of the declared object
     * @return the value of the corresponding object.
     */
    private Object getObject_respostaInvalida3(int index) {
        switch (index) {
            case 0: return agentes_Formula_1;
            default: return null;
        }
    }

    /**
     * Returns all variables bound to the declarations 
     * of rule respostaInvalida3
     *
     * @return an object array of the variables bound to the
     *          declarations of this rule.
     */
    private Object[] getObjects_respostaInvalida3() {
        return new Object[] {
                            agentes_Formula_1
                            };
    }

    /**
     * Defines all variables bound to the declarations 
     * of rule respostaInvalida3
     *
     * @param objects an object array of the variables bound to the
     *          declarations of this rule.
     */
    private void setObjects_respostaInvalida3(Object[] objects) {
        agentes_Formula_1 = (agentes.Formula) objects[0];
    }

    /**
     * Condition 0 of rule respostaInvalida3.<p>
     * The original expression was:<br>
     * <code>(f.getValueOpcao(1) == 2 && f.getValueOpcao(2) == 4)</code>
     *
     * @return <code>true</code> if the condition is satisfied;
     *          <code>false</code> otherwise.
     */
    private boolean respostaInvalida3_cond_0() {
        return ((agentes_Formula_1.getValueOpcao(1) == 2 && agentes_Formula_1.getValueOpcao(2) == 4));
    }

    /**
     * Checks whether some conditions of rule respostaInvalida3 is satisfied.
     *
     * @param index the index of the condition to be checked.
     * @return <code>true</code> if the condition is satisfied;
     *          <code>false</code> otherwise.
     */
    private boolean respostaInvalida3_cond(int index) {
        switch (index) {
            case 0: return respostaInvalida3_cond_0();
            default: return false;
        }
    }

    /**
     * Checks whether all conditions of rule respostaInvalida3 that depend only on
     * the given object are satisfied.
     *
     * @param declIndex the index of the declaration to be checked
     * @return <code>true</code> if all corresponding conditions for
     *          this rule are satisfied; <code>false</code> otherwise.
     */
    private boolean checkConditionsOnlyOf_respostaInvalida3(int declIndex) {
        switch (declIndex) {
            case 0:
                if (!respostaInvalida3_cond_0()) return false;
                return true;
            default: return false;
        }
    }

    /**
     * Checks whether all the conditions of a rule which
     * reference some declared element of the declarations are
     * true.
     *
     * @param declIndex the index of the declared element.
     * @return <code>true</code> if the conditions that reference
     *          up to the given declaration are true;
     *          <code>false</code> otherwise.
     */
    private boolean checkCondForDeclaration_respostaInvalida3(int declIndex) {
        switch (declIndex) {
            case 0:
                return true;
            default: return false;
        }
    }

    /**
     * Executes the action part of the rule respostaInvalida3
     */
    private void respostaInvalida3() {
	    	agentes_Formula_1.setErrorOpcao(1);
	    	agentes_Formula_1.setErrorOpcao(2);
			agentes_Formula_1.mostrarAlerta(4);
	    }


	
	
    /**
     * Identifiers of rule respostaInvalida4
     */
    private String[] identifiers_respostaInvalida4 = {
        "f"
    };

    /**
     * Returns the identifiers declared in rule respostaInvalida4
     *
     * @return the identifiers declared in rule respostaInvalida4
     */
    private String[] getDeclaredIdentifiers_respostaInvalida4() {
         return identifiers_respostaInvalida4;
    }

    /**
     * Returns the name of the class of one declared object for
     * rule respostaInvalida4.
     *
     * @param index the index of the declaration
     * @return the name of the class of the declared objects for
     *          this rule.
     */
    private String getDeclaredClassName_respostaInvalida4(int index) {
        switch (index) {
            case 0: return "agentes.Formula";
            default: return null;
        }
    }

    /**
     * Returns the class of one declared object for rule respostaInvalida4.
     *
     * @param index the index of the declaration
     * @return the class of the declared objects for this rule.
     */
    private Class getDeclaredClass_respostaInvalida4(int index) {
        switch (index) {
            case 0: return agentes.Formula.class;
            default: return null;
        }
    }

    /**
     * Sets an object declared in the rule respostaInvalida4.
     *
     * @param index the index of the declared object
     * @param value the value of the object being set.
     */
    private void setObject_respostaInvalida4(int index, Object value) {
        switch (index) {
            case 0: this.agentes_Formula_1 = (agentes.Formula) value; break;
        }
    }

    /**
     * Returns an object declared in the rule respostaInvalida4.
     *
     * @param index the index of the declared object
     * @return the value of the corresponding object.
     */
    private Object getObject_respostaInvalida4(int index) {
        switch (index) {
            case 0: return agentes_Formula_1;
            default: return null;
        }
    }

    /**
     * Returns all variables bound to the declarations 
     * of rule respostaInvalida4
     *
     * @return an object array of the variables bound to the
     *          declarations of this rule.
     */
    private Object[] getObjects_respostaInvalida4() {
        return new Object[] {
                            agentes_Formula_1
                            };
    }

    /**
     * Defines all variables bound to the declarations 
     * of rule respostaInvalida4
     *
     * @param objects an object array of the variables bound to the
     *          declarations of this rule.
     */
    private void setObjects_respostaInvalida4(Object[] objects) {
        agentes_Formula_1 = (agentes.Formula) objects[0];
    }

    /**
     * Condition 0 of rule respostaInvalida4.<p>
     * The original expression was:<br>
     * <code>(f.getValueOpcao(1) < f.getValueOpcao(2))</code>
     *
     * @return <code>true</code> if the condition is satisfied;
     *          <code>false</code> otherwise.
     */
    private boolean respostaInvalida4_cond_0() {
        return ((agentes_Formula_1.getValueOpcao(1) < agentes_Formula_1.getValueOpcao(2)));
    }

    /**
     * Checks whether some conditions of rule respostaInvalida4 is satisfied.
     *
     * @param index the index of the condition to be checked.
     * @return <code>true</code> if the condition is satisfied;
     *          <code>false</code> otherwise.
     */
    private boolean respostaInvalida4_cond(int index) {
        switch (index) {
            case 0: return respostaInvalida4_cond_0();
            default: return false;
        }
    }

    /**
     * Checks whether all conditions of rule respostaInvalida4 that depend only on
     * the given object are satisfied.
     *
     * @param declIndex the index of the declaration to be checked
     * @return <code>true</code> if all corresponding conditions for
     *          this rule are satisfied; <code>false</code> otherwise.
     */
    private boolean checkConditionsOnlyOf_respostaInvalida4(int declIndex) {
        switch (declIndex) {
            case 0:
                if (!respostaInvalida4_cond_0()) return false;
                return true;
            default: return false;
        }
    }

    /**
     * Checks whether all the conditions of a rule which
     * reference some declared element of the declarations are
     * true.
     *
     * @param declIndex the index of the declared element.
     * @return <code>true</code> if the conditions that reference
     *          up to the given declaration are true;
     *          <code>false</code> otherwise.
     */
    private boolean checkCondForDeclaration_respostaInvalida4(int declIndex) {
        switch (declIndex) {
            case 0:
                return true;
            default: return false;
        }
    }

    /**
     * Executes the action part of the rule respostaInvalida4
     */
    private void respostaInvalida4() {
	    	agentes_Formula_1.setErrorOpcao(1);
	    	agentes_Formula_1.setErrorOpcao(2);
			agentes_Formula_1.mostrarAlerta(3);
	    }


	
	
    /**
     * Identifiers of rule respostaInvalida5
     */
    private String[] identifiers_respostaInvalida5 = {
        "f"
    };

    /**
     * Returns the identifiers declared in rule respostaInvalida5
     *
     * @return the identifiers declared in rule respostaInvalida5
     */
    private String[] getDeclaredIdentifiers_respostaInvalida5() {
         return identifiers_respostaInvalida5;
    }

    /**
     * Returns the name of the class of one declared object for
     * rule respostaInvalida5.
     *
     * @param index the index of the declaration
     * @return the name of the class of the declared objects for
     *          this rule.
     */
    private String getDeclaredClassName_respostaInvalida5(int index) {
        switch (index) {
            case 0: return "agentes.Formula";
            default: return null;
        }
    }

    /**
     * Returns the class of one declared object for rule respostaInvalida5.
     *
     * @param index the index of the declaration
     * @return the class of the declared objects for this rule.
     */
    private Class getDeclaredClass_respostaInvalida5(int index) {
        switch (index) {
            case 0: return agentes.Formula.class;
            default: return null;
        }
    }

    /**
     * Sets an object declared in the rule respostaInvalida5.
     *
     * @param index the index of the declared object
     * @param value the value of the object being set.
     */
    private void setObject_respostaInvalida5(int index, Object value) {
        switch (index) {
            case 0: this.agentes_Formula_1 = (agentes.Formula) value; break;
        }
    }

    /**
     * Returns an object declared in the rule respostaInvalida5.
     *
     * @param index the index of the declared object
     * @return the value of the corresponding object.
     */
    private Object getObject_respostaInvalida5(int index) {
        switch (index) {
            case 0: return agentes_Formula_1;
            default: return null;
        }
    }

    /**
     * Returns all variables bound to the declarations 
     * of rule respostaInvalida5
     *
     * @return an object array of the variables bound to the
     *          declarations of this rule.
     */
    private Object[] getObjects_respostaInvalida5() {
        return new Object[] {
                            agentes_Formula_1
                            };
    }

    /**
     * Defines all variables bound to the declarations 
     * of rule respostaInvalida5
     *
     * @param objects an object array of the variables bound to the
     *          declarations of this rule.
     */
    private void setObjects_respostaInvalida5(Object[] objects) {
        agentes_Formula_1 = (agentes.Formula) objects[0];
    }

    /**
     * Condition 0 of rule respostaInvalida5.<p>
     * The original expression was:<br>
     * <code>(f.getValueOpcao(0) > 4)</code>
     *
     * @return <code>true</code> if the condition is satisfied;
     *          <code>false</code> otherwise.
     */
    private boolean respostaInvalida5_cond_0() {
        return ((agentes_Formula_1.getValueOpcao(0) > 4));
    }

    /**
     * Checks whether some conditions of rule respostaInvalida5 is satisfied.
     *
     * @param index the index of the condition to be checked.
     * @return <code>true</code> if the condition is satisfied;
     *          <code>false</code> otherwise.
     */
    private boolean respostaInvalida5_cond(int index) {
        switch (index) {
            case 0: return respostaInvalida5_cond_0();
            default: return false;
        }
    }

    /**
     * Checks whether all conditions of rule respostaInvalida5 that depend only on
     * the given object are satisfied.
     *
     * @param declIndex the index of the declaration to be checked
     * @return <code>true</code> if all corresponding conditions for
     *          this rule are satisfied; <code>false</code> otherwise.
     */
    private boolean checkConditionsOnlyOf_respostaInvalida5(int declIndex) {
        switch (declIndex) {
            case 0:
                if (!respostaInvalida5_cond_0()) return false;
                return true;
            default: return false;
        }
    }

    /**
     * Checks whether all the conditions of a rule which
     * reference some declared element of the declarations are
     * true.
     *
     * @param declIndex the index of the declared element.
     * @return <code>true</code> if the conditions that reference
     *          up to the given declaration are true;
     *          <code>false</code> otherwise.
     */
    private boolean checkCondForDeclaration_respostaInvalida5(int declIndex) {
        switch (declIndex) {
            case 0:
                return true;
            default: return false;
        }
    }

    /**
     * Executes the action part of the rule respostaInvalida5
     */
    private void respostaInvalida5() {
	    	agentes_Formula_1.setErrorOpcao(0);
			agentes_Formula_1.mostrarAlerta(5);
	    }


	
	
    /**
     * Identifiers of rule respostaInvalida6
     */
    private String[] identifiers_respostaInvalida6 = {
        "f"
    };

    /**
     * Returns the identifiers declared in rule respostaInvalida6
     *
     * @return the identifiers declared in rule respostaInvalida6
     */
    private String[] getDeclaredIdentifiers_respostaInvalida6() {
         return identifiers_respostaInvalida6;
    }

    /**
     * Returns the name of the class of one declared object for
     * rule respostaInvalida6.
     *
     * @param index the index of the declaration
     * @return the name of the class of the declared objects for
     *          this rule.
     */
    private String getDeclaredClassName_respostaInvalida6(int index) {
        switch (index) {
            case 0: return "agentes.Formula";
            default: return null;
        }
    }

    /**
     * Returns the class of one declared object for rule respostaInvalida6.
     *
     * @param index the index of the declaration
     * @return the class of the declared objects for this rule.
     */
    private Class getDeclaredClass_respostaInvalida6(int index) {
        switch (index) {
            case 0: return agentes.Formula.class;
            default: return null;
        }
    }

    /**
     * Sets an object declared in the rule respostaInvalida6.
     *
     * @param index the index of the declared object
     * @param value the value of the object being set.
     */
    private void setObject_respostaInvalida6(int index, Object value) {
        switch (index) {
            case 0: this.agentes_Formula_1 = (agentes.Formula) value; break;
        }
    }

    /**
     * Returns an object declared in the rule respostaInvalida6.
     *
     * @param index the index of the declared object
     * @return the value of the corresponding object.
     */
    private Object getObject_respostaInvalida6(int index) {
        switch (index) {
            case 0: return agentes_Formula_1;
            default: return null;
        }
    }

    /**
     * Returns all variables bound to the declarations 
     * of rule respostaInvalida6
     *
     * @return an object array of the variables bound to the
     *          declarations of this rule.
     */
    private Object[] getObjects_respostaInvalida6() {
        return new Object[] {
                            agentes_Formula_1
                            };
    }

    /**
     * Defines all variables bound to the declarations 
     * of rule respostaInvalida6
     *
     * @param objects an object array of the variables bound to the
     *          declarations of this rule.
     */
    private void setObjects_respostaInvalida6(Object[] objects) {
        agentes_Formula_1 = (agentes.Formula) objects[0];
    }

    /**
     * Condition 0 of rule respostaInvalida6.<p>
     * The original expression was:<br>
     * <code>(f.getValueOpcao(0) < 4)</code>
     *
     * @return <code>true</code> if the condition is satisfied;
     *          <code>false</code> otherwise.
     */
    private boolean respostaInvalida6_cond_0() {
        return ((agentes_Formula_1.getValueOpcao(0) < 4));
    }

    /**
     * Checks whether some conditions of rule respostaInvalida6 is satisfied.
     *
     * @param index the index of the condition to be checked.
     * @return <code>true</code> if the condition is satisfied;
     *          <code>false</code> otherwise.
     */
    private boolean respostaInvalida6_cond(int index) {
        switch (index) {
            case 0: return respostaInvalida6_cond_0();
            default: return false;
        }
    }

    /**
     * Checks whether all conditions of rule respostaInvalida6 that depend only on
     * the given object are satisfied.
     *
     * @param declIndex the index of the declaration to be checked
     * @return <code>true</code> if all corresponding conditions for
     *          this rule are satisfied; <code>false</code> otherwise.
     */
    private boolean checkConditionsOnlyOf_respostaInvalida6(int declIndex) {
        switch (declIndex) {
            case 0:
                if (!respostaInvalida6_cond_0()) return false;
                return true;
            default: return false;
        }
    }

    /**
     * Checks whether all the conditions of a rule which
     * reference some declared element of the declarations are
     * true.
     *
     * @param declIndex the index of the declared element.
     * @return <code>true</code> if the conditions that reference
     *          up to the given declaration are true;
     *          <code>false</code> otherwise.
     */
    private boolean checkCondForDeclaration_respostaInvalida6(int declIndex) {
        switch (declIndex) {
            case 0:
                return true;
            default: return false;
        }
    }

    /**
     * Executes the action part of the rule respostaInvalida6
     */
    private void respostaInvalida6() {
	    	agentes_Formula_1.setErrorOpcao(0);
			agentes_Formula_1.mostrarAlerta(8);
	    }


	
	
    /**
     * Identifiers of rule respostaInvalida7
     */
    private String[] identifiers_respostaInvalida7 = {
        "f"
    };

    /**
     * Returns the identifiers declared in rule respostaInvalida7
     *
     * @return the identifiers declared in rule respostaInvalida7
     */
    private String[] getDeclaredIdentifiers_respostaInvalida7() {
         return identifiers_respostaInvalida7;
    }

    /**
     * Returns the name of the class of one declared object for
     * rule respostaInvalida7.
     *
     * @param index the index of the declaration
     * @return the name of the class of the declared objects for
     *          this rule.
     */
    private String getDeclaredClassName_respostaInvalida7(int index) {
        switch (index) {
            case 0: return "agentes.Formula";
            default: return null;
        }
    }

    /**
     * Returns the class of one declared object for rule respostaInvalida7.
     *
     * @param index the index of the declaration
     * @return the class of the declared objects for this rule.
     */
    private Class getDeclaredClass_respostaInvalida7(int index) {
        switch (index) {
            case 0: return agentes.Formula.class;
            default: return null;
        }
    }

    /**
     * Sets an object declared in the rule respostaInvalida7.
     *
     * @param index the index of the declared object
     * @param value the value of the object being set.
     */
    private void setObject_respostaInvalida7(int index, Object value) {
        switch (index) {
            case 0: this.agentes_Formula_1 = (agentes.Formula) value; break;
        }
    }

    /**
     * Returns an object declared in the rule respostaInvalida7.
     *
     * @param index the index of the declared object
     * @return the value of the corresponding object.
     */
    private Object getObject_respostaInvalida7(int index) {
        switch (index) {
            case 0: return agentes_Formula_1;
            default: return null;
        }
    }

    /**
     * Returns all variables bound to the declarations 
     * of rule respostaInvalida7
     *
     * @return an object array of the variables bound to the
     *          declarations of this rule.
     */
    private Object[] getObjects_respostaInvalida7() {
        return new Object[] {
                            agentes_Formula_1
                            };
    }

    /**
     * Defines all variables bound to the declarations 
     * of rule respostaInvalida7
     *
     * @param objects an object array of the variables bound to the
     *          declarations of this rule.
     */
    private void setObjects_respostaInvalida7(Object[] objects) {
        agentes_Formula_1 = (agentes.Formula) objects[0];
    }

    /**
     * Condition 0 of rule respostaInvalida7.<p>
     * The original expression was:<br>
     * <code>(f.getValueOpcao(1) > 4)</code>
     *
     * @return <code>true</code> if the condition is satisfied;
     *          <code>false</code> otherwise.
     */
    private boolean respostaInvalida7_cond_0() {
        return ((agentes_Formula_1.getValueOpcao(1) > 4));
    }

    /**
     * Checks whether some conditions of rule respostaInvalida7 is satisfied.
     *
     * @param index the index of the condition to be checked.
     * @return <code>true</code> if the condition is satisfied;
     *          <code>false</code> otherwise.
     */
    private boolean respostaInvalida7_cond(int index) {
        switch (index) {
            case 0: return respostaInvalida7_cond_0();
            default: return false;
        }
    }

    /**
     * Checks whether all conditions of rule respostaInvalida7 that depend only on
     * the given object are satisfied.
     *
     * @param declIndex the index of the declaration to be checked
     * @return <code>true</code> if all corresponding conditions for
     *          this rule are satisfied; <code>false</code> otherwise.
     */
    private boolean checkConditionsOnlyOf_respostaInvalida7(int declIndex) {
        switch (declIndex) {
            case 0:
                if (!respostaInvalida7_cond_0()) return false;
                return true;
            default: return false;
        }
    }

    /**
     * Checks whether all the conditions of a rule which
     * reference some declared element of the declarations are
     * true.
     *
     * @param declIndex the index of the declared element.
     * @return <code>true</code> if the conditions that reference
     *          up to the given declaration are true;
     *          <code>false</code> otherwise.
     */
    private boolean checkCondForDeclaration_respostaInvalida7(int declIndex) {
        switch (declIndex) {
            case 0:
                return true;
            default: return false;
        }
    }

    /**
     * Executes the action part of the rule respostaInvalida7
     */
    private void respostaInvalida7() {
	    	agentes_Formula_1.setErrorOpcao(1);
			agentes_Formula_1.mostrarAlerta(9);
	    }


	
	
    /**
     * Identifiers of rule respostaInvalida8
     */
    private String[] identifiers_respostaInvalida8 = {
        "f"
    };

    /**
     * Returns the identifiers declared in rule respostaInvalida8
     *
     * @return the identifiers declared in rule respostaInvalida8
     */
    private String[] getDeclaredIdentifiers_respostaInvalida8() {
         return identifiers_respostaInvalida8;
    }

    /**
     * Returns the name of the class of one declared object for
     * rule respostaInvalida8.
     *
     * @param index the index of the declaration
     * @return the name of the class of the declared objects for
     *          this rule.
     */
    private String getDeclaredClassName_respostaInvalida8(int index) {
        switch (index) {
            case 0: return "agentes.Formula";
            default: return null;
        }
    }

    /**
     * Returns the class of one declared object for rule respostaInvalida8.
     *
     * @param index the index of the declaration
     * @return the class of the declared objects for this rule.
     */
    private Class getDeclaredClass_respostaInvalida8(int index) {
        switch (index) {
            case 0: return agentes.Formula.class;
            default: return null;
        }
    }

    /**
     * Sets an object declared in the rule respostaInvalida8.
     *
     * @param index the index of the declared object
     * @param value the value of the object being set.
     */
    private void setObject_respostaInvalida8(int index, Object value) {
        switch (index) {
            case 0: this.agentes_Formula_1 = (agentes.Formula) value; break;
        }
    }

    /**
     * Returns an object declared in the rule respostaInvalida8.
     *
     * @param index the index of the declared object
     * @return the value of the corresponding object.
     */
    private Object getObject_respostaInvalida8(int index) {
        switch (index) {
            case 0: return agentes_Formula_1;
            default: return null;
        }
    }

    /**
     * Returns all variables bound to the declarations 
     * of rule respostaInvalida8
     *
     * @return an object array of the variables bound to the
     *          declarations of this rule.
     */
    private Object[] getObjects_respostaInvalida8() {
        return new Object[] {
                            agentes_Formula_1
                            };
    }

    /**
     * Defines all variables bound to the declarations 
     * of rule respostaInvalida8
     *
     * @param objects an object array of the variables bound to the
     *          declarations of this rule.
     */
    private void setObjects_respostaInvalida8(Object[] objects) {
        agentes_Formula_1 = (agentes.Formula) objects[0];
    }

    /**
     * Condition 0 of rule respostaInvalida8.<p>
     * The original expression was:<br>
     * <code>(f.getValueOpcao(1) < 4)</code>
     *
     * @return <code>true</code> if the condition is satisfied;
     *          <code>false</code> otherwise.
     */
    private boolean respostaInvalida8_cond_0() {
        return ((agentes_Formula_1.getValueOpcao(1) < 4));
    }

    /**
     * Checks whether some conditions of rule respostaInvalida8 is satisfied.
     *
     * @param index the index of the condition to be checked.
     * @return <code>true</code> if the condition is satisfied;
     *          <code>false</code> otherwise.
     */
    private boolean respostaInvalida8_cond(int index) {
        switch (index) {
            case 0: return respostaInvalida8_cond_0();
            default: return false;
        }
    }

    /**
     * Checks whether all conditions of rule respostaInvalida8 that depend only on
     * the given object are satisfied.
     *
     * @param declIndex the index of the declaration to be checked
     * @return <code>true</code> if all corresponding conditions for
     *          this rule are satisfied; <code>false</code> otherwise.
     */
    private boolean checkConditionsOnlyOf_respostaInvalida8(int declIndex) {
        switch (declIndex) {
            case 0:
                if (!respostaInvalida8_cond_0()) return false;
                return true;
            default: return false;
        }
    }

    /**
     * Checks whether all the conditions of a rule which
     * reference some declared element of the declarations are
     * true.
     *
     * @param declIndex the index of the declared element.
     * @return <code>true</code> if the conditions that reference
     *          up to the given declaration are true;
     *          <code>false</code> otherwise.
     */
    private boolean checkCondForDeclaration_respostaInvalida8(int declIndex) {
        switch (declIndex) {
            case 0:
                return true;
            default: return false;
        }
    }

    /**
     * Executes the action part of the rule respostaInvalida8
     */
    private void respostaInvalida8() {
	    	agentes_Formula_1.setErrorOpcao(1);
			agentes_Formula_1.mostrarAlerta(10);
	    }


	
	
    /**
     * Identifiers of rule respostaInvalida9
     */
    private String[] identifiers_respostaInvalida9 = {
        "f"
    };

    /**
     * Returns the identifiers declared in rule respostaInvalida9
     *
     * @return the identifiers declared in rule respostaInvalida9
     */
    private String[] getDeclaredIdentifiers_respostaInvalida9() {
         return identifiers_respostaInvalida9;
    }

    /**
     * Returns the name of the class of one declared object for
     * rule respostaInvalida9.
     *
     * @param index the index of the declaration
     * @return the name of the class of the declared objects for
     *          this rule.
     */
    private String getDeclaredClassName_respostaInvalida9(int index) {
        switch (index) {
            case 0: return "agentes.Formula";
            default: return null;
        }
    }

    /**
     * Returns the class of one declared object for rule respostaInvalida9.
     *
     * @param index the index of the declaration
     * @return the class of the declared objects for this rule.
     */
    private Class getDeclaredClass_respostaInvalida9(int index) {
        switch (index) {
            case 0: return agentes.Formula.class;
            default: return null;
        }
    }

    /**
     * Sets an object declared in the rule respostaInvalida9.
     *
     * @param index the index of the declared object
     * @param value the value of the object being set.
     */
    private void setObject_respostaInvalida9(int index, Object value) {
        switch (index) {
            case 0: this.agentes_Formula_1 = (agentes.Formula) value; break;
        }
    }

    /**
     * Returns an object declared in the rule respostaInvalida9.
     *
     * @param index the index of the declared object
     * @return the value of the corresponding object.
     */
    private Object getObject_respostaInvalida9(int index) {
        switch (index) {
            case 0: return agentes_Formula_1;
            default: return null;
        }
    }

    /**
     * Returns all variables bound to the declarations 
     * of rule respostaInvalida9
     *
     * @return an object array of the variables bound to the
     *          declarations of this rule.
     */
    private Object[] getObjects_respostaInvalida9() {
        return new Object[] {
                            agentes_Formula_1
                            };
    }

    /**
     * Defines all variables bound to the declarations 
     * of rule respostaInvalida9
     *
     * @param objects an object array of the variables bound to the
     *          declarations of this rule.
     */
    private void setObjects_respostaInvalida9(Object[] objects) {
        agentes_Formula_1 = (agentes.Formula) objects[0];
    }

    /**
     * Condition 0 of rule respostaInvalida9.<p>
     * The original expression was:<br>
     * <code>(f.getValueOpcao(2) > 2)</code>
     *
     * @return <code>true</code> if the condition is satisfied;
     *          <code>false</code> otherwise.
     */
    private boolean respostaInvalida9_cond_0() {
        return ((agentes_Formula_1.getValueOpcao(2) > 2));
    }

    /**
     * Checks whether some conditions of rule respostaInvalida9 is satisfied.
     *
     * @param index the index of the condition to be checked.
     * @return <code>true</code> if the condition is satisfied;
     *          <code>false</code> otherwise.
     */
    private boolean respostaInvalida9_cond(int index) {
        switch (index) {
            case 0: return respostaInvalida9_cond_0();
            default: return false;
        }
    }

    /**
     * Checks whether all conditions of rule respostaInvalida9 that depend only on
     * the given object are satisfied.
     *
     * @param declIndex the index of the declaration to be checked
     * @return <code>true</code> if all corresponding conditions for
     *          this rule are satisfied; <code>false</code> otherwise.
     */
    private boolean checkConditionsOnlyOf_respostaInvalida9(int declIndex) {
        switch (declIndex) {
            case 0:
                if (!respostaInvalida9_cond_0()) return false;
                return true;
            default: return false;
        }
    }

    /**
     * Checks whether all the conditions of a rule which
     * reference some declared element of the declarations are
     * true.
     *
     * @param declIndex the index of the declared element.
     * @return <code>true</code> if the conditions that reference
     *          up to the given declaration are true;
     *          <code>false</code> otherwise.
     */
    private boolean checkCondForDeclaration_respostaInvalida9(int declIndex) {
        switch (declIndex) {
            case 0:
                return true;
            default: return false;
        }
    }

    /**
     * Executes the action part of the rule respostaInvalida9
     */
    private void respostaInvalida9() {
	    	agentes_Formula_1.setErrorOpcao(2);
			agentes_Formula_1.mostrarAlerta(11);
	    }


	
	
    /**
     * Identifiers of rule respostaInvalida10
     */
    private String[] identifiers_respostaInvalida10 = {
        "f"
    };

    /**
     * Returns the identifiers declared in rule respostaInvalida10
     *
     * @return the identifiers declared in rule respostaInvalida10
     */
    private String[] getDeclaredIdentifiers_respostaInvalida10() {
         return identifiers_respostaInvalida10;
    }

    /**
     * Returns the name of the class of one declared object for
     * rule respostaInvalida10.
     *
     * @param index the index of the declaration
     * @return the name of the class of the declared objects for
     *          this rule.
     */
    private String getDeclaredClassName_respostaInvalida10(int index) {
        switch (index) {
            case 0: return "agentes.Formula";
            default: return null;
        }
    }

    /**
     * Returns the class of one declared object for rule respostaInvalida10.
     *
     * @param index the index of the declaration
     * @return the class of the declared objects for this rule.
     */
    private Class getDeclaredClass_respostaInvalida10(int index) {
        switch (index) {
            case 0: return agentes.Formula.class;
            default: return null;
        }
    }

    /**
     * Sets an object declared in the rule respostaInvalida10.
     *
     * @param index the index of the declared object
     * @param value the value of the object being set.
     */
    private void setObject_respostaInvalida10(int index, Object value) {
        switch (index) {
            case 0: this.agentes_Formula_1 = (agentes.Formula) value; break;
        }
    }

    /**
     * Returns an object declared in the rule respostaInvalida10.
     *
     * @param index the index of the declared object
     * @return the value of the corresponding object.
     */
    private Object getObject_respostaInvalida10(int index) {
        switch (index) {
            case 0: return agentes_Formula_1;
            default: return null;
        }
    }

    /**
     * Returns all variables bound to the declarations 
     * of rule respostaInvalida10
     *
     * @return an object array of the variables bound to the
     *          declarations of this rule.
     */
    private Object[] getObjects_respostaInvalida10() {
        return new Object[] {
                            agentes_Formula_1
                            };
    }

    /**
     * Defines all variables bound to the declarations 
     * of rule respostaInvalida10
     *
     * @param objects an object array of the variables bound to the
     *          declarations of this rule.
     */
    private void setObjects_respostaInvalida10(Object[] objects) {
        agentes_Formula_1 = (agentes.Formula) objects[0];
    }

    /**
     * Condition 0 of rule respostaInvalida10.<p>
     * The original expression was:<br>
     * <code>(f.getValueOpcao(2) < 2)</code>
     *
     * @return <code>true</code> if the condition is satisfied;
     *          <code>false</code> otherwise.
     */
    private boolean respostaInvalida10_cond_0() {
        return ((agentes_Formula_1.getValueOpcao(2) < 2));
    }

    /**
     * Checks whether some conditions of rule respostaInvalida10 is satisfied.
     *
     * @param index the index of the condition to be checked.
     * @return <code>true</code> if the condition is satisfied;
     *          <code>false</code> otherwise.
     */
    private boolean respostaInvalida10_cond(int index) {
        switch (index) {
            case 0: return respostaInvalida10_cond_0();
            default: return false;
        }
    }

    /**
     * Checks whether all conditions of rule respostaInvalida10 that depend only on
     * the given object are satisfied.
     *
     * @param declIndex the index of the declaration to be checked
     * @return <code>true</code> if all corresponding conditions for
     *          this rule are satisfied; <code>false</code> otherwise.
     */
    private boolean checkConditionsOnlyOf_respostaInvalida10(int declIndex) {
        switch (declIndex) {
            case 0:
                if (!respostaInvalida10_cond_0()) return false;
                return true;
            default: return false;
        }
    }

    /**
     * Checks whether all the conditions of a rule which
     * reference some declared element of the declarations are
     * true.
     *
     * @param declIndex the index of the declared element.
     * @return <code>true</code> if the conditions that reference
     *          up to the given declaration are true;
     *          <code>false</code> otherwise.
     */
    private boolean checkCondForDeclaration_respostaInvalida10(int declIndex) {
        switch (declIndex) {
            case 0:
                return true;
            default: return false;
        }
    }

    /**
     * Executes the action part of the rule respostaInvalida10
     */
    private void respostaInvalida10() {
	    	agentes_Formula_1.setErrorOpcao(2);
			agentes_Formula_1.mostrarAlerta(12);
	    }


	
	
    /**
     * Identifiers of rule respostaInvalida11
     */
    private String[] identifiers_respostaInvalida11 = {
        "f"
    };

    /**
     * Returns the identifiers declared in rule respostaInvalida11
     *
     * @return the identifiers declared in rule respostaInvalida11
     */
    private String[] getDeclaredIdentifiers_respostaInvalida11() {
         return identifiers_respostaInvalida11;
    }

    /**
     * Returns the name of the class of one declared object for
     * rule respostaInvalida11.
     *
     * @param index the index of the declaration
     * @return the name of the class of the declared objects for
     *          this rule.
     */
    private String getDeclaredClassName_respostaInvalida11(int index) {
        switch (index) {
            case 0: return "agentes.Formula";
            default: return null;
        }
    }

    /**
     * Returns the class of one declared object for rule respostaInvalida11.
     *
     * @param index the index of the declaration
     * @return the class of the declared objects for this rule.
     */
    private Class getDeclaredClass_respostaInvalida11(int index) {
        switch (index) {
            case 0: return agentes.Formula.class;
            default: return null;
        }
    }

    /**
     * Sets an object declared in the rule respostaInvalida11.
     *
     * @param index the index of the declared object
     * @param value the value of the object being set.
     */
    private void setObject_respostaInvalida11(int index, Object value) {
        switch (index) {
            case 0: this.agentes_Formula_1 = (agentes.Formula) value; break;
        }
    }

    /**
     * Returns an object declared in the rule respostaInvalida11.
     *
     * @param index the index of the declared object
     * @return the value of the corresponding object.
     */
    private Object getObject_respostaInvalida11(int index) {
        switch (index) {
            case 0: return agentes_Formula_1;
            default: return null;
        }
    }

    /**
     * Returns all variables bound to the declarations 
     * of rule respostaInvalida11
     *
     * @return an object array of the variables bound to the
     *          declarations of this rule.
     */
    private Object[] getObjects_respostaInvalida11() {
        return new Object[] {
                            agentes_Formula_1
                            };
    }

    /**
     * Defines all variables bound to the declarations 
     * of rule respostaInvalida11
     *
     * @param objects an object array of the variables bound to the
     *          declarations of this rule.
     */
    private void setObjects_respostaInvalida11(Object[] objects) {
        agentes_Formula_1 = (agentes.Formula) objects[0];
    }

    /**
     * Condition 0 of rule respostaInvalida11.<p>
     * The original expression was:<br>
     * <code>f.getPanel(0).isVisible() == true &&
			(!(f.getValueOpcao(5) == 2 && f.getValueOpcao(3) == 4 && f.getValueOpcao(4) == 3) && 
			!(f.getValueOpcao(5) == 2 && f.getValueOpcao(3) == 3 && f.getValueOpcao(4) == 4))</code>
     *
     * @return <code>true</code> if the condition is satisfied;
     *          <code>false</code> otherwise.
     */
    private boolean respostaInvalida11_cond_0() {
        return (agentes_Formula_1.getPanel(0).isVisible() == true &&
			(!(agentes_Formula_1.getValueOpcao(5) == 2 && agentes_Formula_1.getValueOpcao(3) == 4 && agentes_Formula_1.getValueOpcao(4) == 3) && 
			!(agentes_Formula_1.getValueOpcao(5) == 2 && agentes_Formula_1.getValueOpcao(3) == 3 && agentes_Formula_1.getValueOpcao(4) == 4)));
    }

    /**
     * Checks whether some conditions of rule respostaInvalida11 is satisfied.
     *
     * @param index the index of the condition to be checked.
     * @return <code>true</code> if the condition is satisfied;
     *          <code>false</code> otherwise.
     */
    private boolean respostaInvalida11_cond(int index) {
        switch (index) {
            case 0: return respostaInvalida11_cond_0();
            default: return false;
        }
    }

    /**
     * Checks whether all conditions of rule respostaInvalida11 that depend only on
     * the given object are satisfied.
     *
     * @param declIndex the index of the declaration to be checked
     * @return <code>true</code> if all corresponding conditions for
     *          this rule are satisfied; <code>false</code> otherwise.
     */
    private boolean checkConditionsOnlyOf_respostaInvalida11(int declIndex) {
        switch (declIndex) {
            case 0:
                if (!respostaInvalida11_cond_0()) return false;
                return true;
            default: return false;
        }
    }

    /**
     * Checks whether all the conditions of a rule which
     * reference some declared element of the declarations are
     * true.
     *
     * @param declIndex the index of the declared element.
     * @return <code>true</code> if the conditions that reference
     *          up to the given declaration are true;
     *          <code>false</code> otherwise.
     */
    private boolean checkCondForDeclaration_respostaInvalida11(int declIndex) {
        switch (declIndex) {
            case 0:
                return true;
            default: return false;
        }
    }

    /**
     * Executes the action part of the rule respostaInvalida11
     */
    private void respostaInvalida11() {
	    	agentes_Formula_1.setErrorOpcao(3);
	    	agentes_Formula_1.setErrorOpcao(4);
	    	agentes_Formula_1.setErrorOpcao(5);
			agentes_Formula_1.mostrarAlerta(13);
	    }



	
    /**
     * Identifiers of rule respostaInvalida12
     */
    private String[] identifiers_respostaInvalida12 = {
        "f"
    };

    /**
     * Returns the identifiers declared in rule respostaInvalida12
     *
     * @return the identifiers declared in rule respostaInvalida12
     */
    private String[] getDeclaredIdentifiers_respostaInvalida12() {
         return identifiers_respostaInvalida12;
    }

    /**
     * Returns the name of the class of one declared object for
     * rule respostaInvalida12.
     *
     * @param index the index of the declaration
     * @return the name of the class of the declared objects for
     *          this rule.
     */
    private String getDeclaredClassName_respostaInvalida12(int index) {
        switch (index) {
            case 0: return "agentes.Formula";
            default: return null;
        }
    }

    /**
     * Returns the class of one declared object for rule respostaInvalida12.
     *
     * @param index the index of the declaration
     * @return the class of the declared objects for this rule.
     */
    private Class getDeclaredClass_respostaInvalida12(int index) {
        switch (index) {
            case 0: return agentes.Formula.class;
            default: return null;
        }
    }

    /**
     * Sets an object declared in the rule respostaInvalida12.
     *
     * @param index the index of the declared object
     * @param value the value of the object being set.
     */
    private void setObject_respostaInvalida12(int index, Object value) {
        switch (index) {
            case 0: this.agentes_Formula_1 = (agentes.Formula) value; break;
        }
    }

    /**
     * Returns an object declared in the rule respostaInvalida12.
     *
     * @param index the index of the declared object
     * @return the value of the corresponding object.
     */
    private Object getObject_respostaInvalida12(int index) {
        switch (index) {
            case 0: return agentes_Formula_1;
            default: return null;
        }
    }

    /**
     * Returns all variables bound to the declarations 
     * of rule respostaInvalida12
     *
     * @return an object array of the variables bound to the
     *          declarations of this rule.
     */
    private Object[] getObjects_respostaInvalida12() {
        return new Object[] {
                            agentes_Formula_1
                            };
    }

    /**
     * Defines all variables bound to the declarations 
     * of rule respostaInvalida12
     *
     * @param objects an object array of the variables bound to the
     *          declarations of this rule.
     */
    private void setObjects_respostaInvalida12(Object[] objects) {
        agentes_Formula_1 = (agentes.Formula) objects[0];
    }

    /**
     * Condition 0 of rule respostaInvalida12.<p>
     * The original expression was:<br>
     * <code>f.getPanel(0).isVisible() == true &&
			(f.getValueOpcao(6) != 2)</code>
     *
     * @return <code>true</code> if the condition is satisfied;
     *          <code>false</code> otherwise.
     */
    private boolean respostaInvalida12_cond_0() {
        return (agentes_Formula_1.getPanel(0).isVisible() == true &&
			(agentes_Formula_1.getValueOpcao(6) != 2));
    }

    /**
     * Checks whether some conditions of rule respostaInvalida12 is satisfied.
     *
     * @param index the index of the condition to be checked.
     * @return <code>true</code> if the condition is satisfied;
     *          <code>false</code> otherwise.
     */
    private boolean respostaInvalida12_cond(int index) {
        switch (index) {
            case 0: return respostaInvalida12_cond_0();
            default: return false;
        }
    }

    /**
     * Checks whether all conditions of rule respostaInvalida12 that depend only on
     * the given object are satisfied.
     *
     * @param declIndex the index of the declaration to be checked
     * @return <code>true</code> if all corresponding conditions for
     *          this rule are satisfied; <code>false</code> otherwise.
     */
    private boolean checkConditionsOnlyOf_respostaInvalida12(int declIndex) {
        switch (declIndex) {
            case 0:
                if (!respostaInvalida12_cond_0()) return false;
                return true;
            default: return false;
        }
    }

    /**
     * Checks whether all the conditions of a rule which
     * reference some declared element of the declarations are
     * true.
     *
     * @param declIndex the index of the declared element.
     * @return <code>true</code> if the conditions that reference
     *          up to the given declaration are true;
     *          <code>false</code> otherwise.
     */
    private boolean checkCondForDeclaration_respostaInvalida12(int declIndex) {
        switch (declIndex) {
            case 0:
                return true;
            default: return false;
        }
    }

    /**
     * Executes the action part of the rule respostaInvalida12
     */
    private void respostaInvalida12() {
	    	agentes_Formula_1.setErrorOpcao(6);
			agentes_Formula_1.mostrarAlerta(14);
	    }


	
	
    /**
     * Identifiers of rule respostaInvalida13
     */
    private String[] identifiers_respostaInvalida13 = {
        "f"
    };

    /**
     * Returns the identifiers declared in rule respostaInvalida13
     *
     * @return the identifiers declared in rule respostaInvalida13
     */
    private String[] getDeclaredIdentifiers_respostaInvalida13() {
         return identifiers_respostaInvalida13;
    }

    /**
     * Returns the name of the class of one declared object for
     * rule respostaInvalida13.
     *
     * @param index the index of the declaration
     * @return the name of the class of the declared objects for
     *          this rule.
     */
    private String getDeclaredClassName_respostaInvalida13(int index) {
        switch (index) {
            case 0: return "agentes.Formula";
            default: return null;
        }
    }

    /**
     * Returns the class of one declared object for rule respostaInvalida13.
     *
     * @param index the index of the declaration
     * @return the class of the declared objects for this rule.
     */
    private Class getDeclaredClass_respostaInvalida13(int index) {
        switch (index) {
            case 0: return agentes.Formula.class;
            default: return null;
        }
    }

    /**
     * Sets an object declared in the rule respostaInvalida13.
     *
     * @param index the index of the declared object
     * @param value the value of the object being set.
     */
    private void setObject_respostaInvalida13(int index, Object value) {
        switch (index) {
            case 0: this.agentes_Formula_1 = (agentes.Formula) value; break;
        }
    }

    /**
     * Returns an object declared in the rule respostaInvalida13.
     *
     * @param index the index of the declared object
     * @return the value of the corresponding object.
     */
    private Object getObject_respostaInvalida13(int index) {
        switch (index) {
            case 0: return agentes_Formula_1;
            default: return null;
        }
    }

    /**
     * Returns all variables bound to the declarations 
     * of rule respostaInvalida13
     *
     * @return an object array of the variables bound to the
     *          declarations of this rule.
     */
    private Object[] getObjects_respostaInvalida13() {
        return new Object[] {
                            agentes_Formula_1
                            };
    }

    /**
     * Defines all variables bound to the declarations 
     * of rule respostaInvalida13
     *
     * @param objects an object array of the variables bound to the
     *          declarations of this rule.
     */
    private void setObjects_respostaInvalida13(Object[] objects) {
        agentes_Formula_1 = (agentes.Formula) objects[0];
    }

    /**
     * Condition 0 of rule respostaInvalida13.<p>
     * The original expression was:<br>
     * <code>f.getPanel(1).isVisible() == true &&
			((f.getValueOpcao(7) != 3 && f.getValueOpcao(8) != 4) &&
			(f.getValueOpcao(7) != 4 && f.getValueOpcao(8) != 3))</code>
     *
     * @return <code>true</code> if the condition is satisfied;
     *          <code>false</code> otherwise.
     */
    private boolean respostaInvalida13_cond_0() {
        return (agentes_Formula_1.getPanel(1).isVisible() == true &&
			((agentes_Formula_1.getValueOpcao(7) != 3 && agentes_Formula_1.getValueOpcao(8) != 4) &&
			(agentes_Formula_1.getValueOpcao(7) != 4 && agentes_Formula_1.getValueOpcao(8) != 3)));
    }

    /**
     * Checks whether some conditions of rule respostaInvalida13 is satisfied.
     *
     * @param index the index of the condition to be checked.
     * @return <code>true</code> if the condition is satisfied;
     *          <code>false</code> otherwise.
     */
    private boolean respostaInvalida13_cond(int index) {
        switch (index) {
            case 0: return respostaInvalida13_cond_0();
            default: return false;
        }
    }

    /**
     * Checks whether all conditions of rule respostaInvalida13 that depend only on
     * the given object are satisfied.
     *
     * @param declIndex the index of the declaration to be checked
     * @return <code>true</code> if all corresponding conditions for
     *          this rule are satisfied; <code>false</code> otherwise.
     */
    private boolean checkConditionsOnlyOf_respostaInvalida13(int declIndex) {
        switch (declIndex) {
            case 0:
                if (!respostaInvalida13_cond_0()) return false;
                return true;
            default: return false;
        }
    }

    /**
     * Checks whether all the conditions of a rule which
     * reference some declared element of the declarations are
     * true.
     *
     * @param declIndex the index of the declared element.
     * @return <code>true</code> if the conditions that reference
     *          up to the given declaration are true;
     *          <code>false</code> otherwise.
     */
    private boolean checkCondForDeclaration_respostaInvalida13(int declIndex) {
        switch (declIndex) {
            case 0:
                return true;
            default: return false;
        }
    }

    /**
     * Executes the action part of the rule respostaInvalida13
     */
    private void respostaInvalida13() {
	    	agentes_Formula_1.setErrorOpcao(7);
	    	agentes_Formula_1.setErrorOpcao(8);
			agentes_Formula_1.mostrarAlerta(15);
	    }



    /**
     * The names of the rules in this class file
     */
    private static final String[] File_ruleNames = {
        "verificaPreenchimento1",
        "verificaPreenchimento2",
        "verificaPreenchimento3",
        "verificaPreenchimento4",
        "habilitaCampos1",
        "habilitaCampos2",
        "habilitaCampos3",
        "respostaValida1",
        "respostaValida2",
        "respostaValida3",
        "respostaInvalida1",
        "respostaInvalida2",
        "respostaInvalida3",
        "respostaInvalida4",
        "respostaInvalida5",
        "respostaInvalida6",
        "respostaInvalida7",
        "respostaInvalida8",
        "respostaInvalida9",
        "respostaInvalida10",
        "respostaInvalida11",
        "respostaInvalida12",
        "respostaInvalida13"
    };

    /**
     * Returns the name of the rules in this class file.
     *
     * @return the name of the rules in this class file.
     */
    public String[] getRuleNames() {
        return File_ruleNames;
    }

    /**
     * The number of declarations of the rules in this class file.
     */
    private static final int[] File_numberOfDeclarations = {
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1
    };

    /**
     * Returns the number of declarations of the rules in this class file.
     *
     * @return the number of declarations  of the rules in this class file.
     */
    public int[] getNumberOfDeclarations() {
        return File_numberOfDeclarations;
    }

    /**
     * The number of conditions of the rules in this class file.
     */
    private static final int[] File_numberOfConditions = {
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1
    };

    /**
     * Returns the number of conditions of the rules in this class file.
     *
     * @return the number of conditions  of the rules in this class file.
     */
    public int[] getNumberOfConditions() {
        return File_numberOfConditions;
    }

    /**
     * Checks whether a condition of some rule is satisfied.
     *
     * @param ruleIndex the index of the rule to be checked
     * @param condIndex the index of the condition to be checked
     * @return <code>true</code> if the corresponding condition for the
     *          given rule is satisfied. <code>false</code> otherwise.
     */
    public boolean checkCondition(int ruleIndex, int condIndex) {
        switch (ruleIndex) {
            case 0: return verificaPreenchimento1_cond(condIndex);
            case 1: return verificaPreenchimento2_cond(condIndex);
            case 2: return verificaPreenchimento3_cond(condIndex);
            case 3: return verificaPreenchimento4_cond(condIndex);
            case 4: return habilitaCampos1_cond(condIndex);
            case 5: return habilitaCampos2_cond(condIndex);
            case 6: return habilitaCampos3_cond(condIndex);
            case 7: return respostaValida1_cond(condIndex);
            case 8: return respostaValida2_cond(condIndex);
            case 9: return respostaValida3_cond(condIndex);
            case 10: return respostaInvalida1_cond(condIndex);
            case 11: return respostaInvalida2_cond(condIndex);
            case 12: return respostaInvalida3_cond(condIndex);
            case 13: return respostaInvalida4_cond(condIndex);
            case 14: return respostaInvalida5_cond(condIndex);
            case 15: return respostaInvalida6_cond(condIndex);
            case 16: return respostaInvalida7_cond(condIndex);
            case 17: return respostaInvalida8_cond(condIndex);
            case 18: return respostaInvalida9_cond(condIndex);
            case 19: return respostaInvalida10_cond(condIndex);
            case 20: return respostaInvalida11_cond(condIndex);
            case 21: return respostaInvalida12_cond(condIndex);
            case 22: return respostaInvalida13_cond(condIndex);
            default: return false;
        }
    }

    /**
     * Checks whether all conditions of some rule that depend only on
     * the given object are satisfied.
     *
     * @param ruleIndex the index of the rule to be checked
     * @param declIndex the index of the declaration to be checked
     * @return <code>true</code> if all corresponding conditions for
     *          the given rule are satisfied;
     *           <code>false</code> otherwise.
     */
    public boolean checkConditionsOnlyOf(int ruleIndex, int declIndex) {
        switch (ruleIndex) {
            case 0: return checkConditionsOnlyOf_verificaPreenchimento1(declIndex);
            case 1: return checkConditionsOnlyOf_verificaPreenchimento2(declIndex);
            case 2: return checkConditionsOnlyOf_verificaPreenchimento3(declIndex);
            case 3: return checkConditionsOnlyOf_verificaPreenchimento4(declIndex);
            case 4: return checkConditionsOnlyOf_habilitaCampos1(declIndex);
            case 5: return checkConditionsOnlyOf_habilitaCampos2(declIndex);
            case 6: return checkConditionsOnlyOf_habilitaCampos3(declIndex);
            case 7: return checkConditionsOnlyOf_respostaValida1(declIndex);
            case 8: return checkConditionsOnlyOf_respostaValida2(declIndex);
            case 9: return checkConditionsOnlyOf_respostaValida3(declIndex);
            case 10: return checkConditionsOnlyOf_respostaInvalida1(declIndex);
            case 11: return checkConditionsOnlyOf_respostaInvalida2(declIndex);
            case 12: return checkConditionsOnlyOf_respostaInvalida3(declIndex);
            case 13: return checkConditionsOnlyOf_respostaInvalida4(declIndex);
            case 14: return checkConditionsOnlyOf_respostaInvalida5(declIndex);
            case 15: return checkConditionsOnlyOf_respostaInvalida6(declIndex);
            case 16: return checkConditionsOnlyOf_respostaInvalida7(declIndex);
            case 17: return checkConditionsOnlyOf_respostaInvalida8(declIndex);
            case 18: return checkConditionsOnlyOf_respostaInvalida9(declIndex);
            case 19: return checkConditionsOnlyOf_respostaInvalida10(declIndex);
            case 20: return checkConditionsOnlyOf_respostaInvalida11(declIndex);
            case 21: return checkConditionsOnlyOf_respostaInvalida12(declIndex);
            case 22: return checkConditionsOnlyOf_respostaInvalida13(declIndex);
            default: return false;
        }
    }

    /**
     * Checks whether all the conditions of a rule which
     * reference only the elements declared up to the given index
     * are true.
     *
     * @param ruleIndex the index of the rule to be checked
     * @param declIndex the index of the declaration to be checked
     * @return <code>true</code> if all the conditions of a rule which
     *          reference only the elements declared up to the given index
     *          are satisfied; <code>false</code> otherwise.
     */
    public boolean checkCondForDeclaration(int ruleIndex, int declIndex) {
        switch (ruleIndex) {
            case 0: return checkCondForDeclaration_verificaPreenchimento1(declIndex);
            case 1: return checkCondForDeclaration_verificaPreenchimento2(declIndex);
            case 2: return checkCondForDeclaration_verificaPreenchimento3(declIndex);
            case 3: return checkCondForDeclaration_verificaPreenchimento4(declIndex);
            case 4: return checkCondForDeclaration_habilitaCampos1(declIndex);
            case 5: return checkCondForDeclaration_habilitaCampos2(declIndex);
            case 6: return checkCondForDeclaration_habilitaCampos3(declIndex);
            case 7: return checkCondForDeclaration_respostaValida1(declIndex);
            case 8: return checkCondForDeclaration_respostaValida2(declIndex);
            case 9: return checkCondForDeclaration_respostaValida3(declIndex);
            case 10: return checkCondForDeclaration_respostaInvalida1(declIndex);
            case 11: return checkCondForDeclaration_respostaInvalida2(declIndex);
            case 12: return checkCondForDeclaration_respostaInvalida3(declIndex);
            case 13: return checkCondForDeclaration_respostaInvalida4(declIndex);
            case 14: return checkCondForDeclaration_respostaInvalida5(declIndex);
            case 15: return checkCondForDeclaration_respostaInvalida6(declIndex);
            case 16: return checkCondForDeclaration_respostaInvalida7(declIndex);
            case 17: return checkCondForDeclaration_respostaInvalida8(declIndex);
            case 18: return checkCondForDeclaration_respostaInvalida9(declIndex);
            case 19: return checkCondForDeclaration_respostaInvalida10(declIndex);
            case 20: return checkCondForDeclaration_respostaInvalida11(declIndex);
            case 21: return checkCondForDeclaration_respostaInvalida12(declIndex);
            case 22: return checkCondForDeclaration_respostaInvalida13(declIndex);
            default: return false;
        }
    }

    /**
     * Returns the class name of an object declared in a rule.
     *
     * @param ruleIndex the index of the rule
     * @param declIndex the index of the declaration
     * @return the class name of the declared object.
     */
    public String getDeclaredClassName(int ruleIndex, int declIndex) {
        switch (ruleIndex) {
            case 0: return getDeclaredClassName_verificaPreenchimento1(declIndex);
            case 1: return getDeclaredClassName_verificaPreenchimento2(declIndex);
            case 2: return getDeclaredClassName_verificaPreenchimento3(declIndex);
            case 3: return getDeclaredClassName_verificaPreenchimento4(declIndex);
            case 4: return getDeclaredClassName_habilitaCampos1(declIndex);
            case 5: return getDeclaredClassName_habilitaCampos2(declIndex);
            case 6: return getDeclaredClassName_habilitaCampos3(declIndex);
            case 7: return getDeclaredClassName_respostaValida1(declIndex);
            case 8: return getDeclaredClassName_respostaValida2(declIndex);
            case 9: return getDeclaredClassName_respostaValida3(declIndex);
            case 10: return getDeclaredClassName_respostaInvalida1(declIndex);
            case 11: return getDeclaredClassName_respostaInvalida2(declIndex);
            case 12: return getDeclaredClassName_respostaInvalida3(declIndex);
            case 13: return getDeclaredClassName_respostaInvalida4(declIndex);
            case 14: return getDeclaredClassName_respostaInvalida5(declIndex);
            case 15: return getDeclaredClassName_respostaInvalida6(declIndex);
            case 16: return getDeclaredClassName_respostaInvalida7(declIndex);
            case 17: return getDeclaredClassName_respostaInvalida8(declIndex);
            case 18: return getDeclaredClassName_respostaInvalida9(declIndex);
            case 19: return getDeclaredClassName_respostaInvalida10(declIndex);
            case 20: return getDeclaredClassName_respostaInvalida11(declIndex);
            case 21: return getDeclaredClassName_respostaInvalida12(declIndex);
            case 22: return getDeclaredClassName_respostaInvalida13(declIndex);
            default: return null;
        }
    }

    /**
     * Returns the class of an object declared in a rule.
     *
     * @param ruleIndex the index of the rule
     * @param declIndex the index of the declaration
     * @return the class of the declared object.
     */
    public Class getDeclaredClass(int ruleIndex, int declIndex) {
        switch (ruleIndex) {
            case 0: return getDeclaredClass_verificaPreenchimento1(declIndex);
            case 1: return getDeclaredClass_verificaPreenchimento2(declIndex);
            case 2: return getDeclaredClass_verificaPreenchimento3(declIndex);
            case 3: return getDeclaredClass_verificaPreenchimento4(declIndex);
            case 4: return getDeclaredClass_habilitaCampos1(declIndex);
            case 5: return getDeclaredClass_habilitaCampos2(declIndex);
            case 6: return getDeclaredClass_habilitaCampos3(declIndex);
            case 7: return getDeclaredClass_respostaValida1(declIndex);
            case 8: return getDeclaredClass_respostaValida2(declIndex);
            case 9: return getDeclaredClass_respostaValida3(declIndex);
            case 10: return getDeclaredClass_respostaInvalida1(declIndex);
            case 11: return getDeclaredClass_respostaInvalida2(declIndex);
            case 12: return getDeclaredClass_respostaInvalida3(declIndex);
            case 13: return getDeclaredClass_respostaInvalida4(declIndex);
            case 14: return getDeclaredClass_respostaInvalida5(declIndex);
            case 15: return getDeclaredClass_respostaInvalida6(declIndex);
            case 16: return getDeclaredClass_respostaInvalida7(declIndex);
            case 17: return getDeclaredClass_respostaInvalida8(declIndex);
            case 18: return getDeclaredClass_respostaInvalida9(declIndex);
            case 19: return getDeclaredClass_respostaInvalida10(declIndex);
            case 20: return getDeclaredClass_respostaInvalida11(declIndex);
            case 21: return getDeclaredClass_respostaInvalida12(declIndex);
            case 22: return getDeclaredClass_respostaInvalida13(declIndex);
            default: return null;
        }
    }

    /**
     * Fires one of the rules in this rule base.
     *
     * @param ruleIndex the index of the rule to be fired
     */
    protected void internalFireRule(int ruleIndex) {
        switch (ruleIndex) {
            case 0: verificaPreenchimento1(); break;
            case 1: verificaPreenchimento2(); break;
            case 2: verificaPreenchimento3(); break;
            case 3: verificaPreenchimento4(); break;
            case 4: habilitaCampos1(); break;
            case 5: habilitaCampos2(); break;
            case 6: habilitaCampos3(); break;
            case 7: respostaValida1(); break;
            case 8: respostaValida2(); break;
            case 9: respostaValida3(); break;
            case 10: respostaInvalida1(); break;
            case 11: respostaInvalida2(); break;
            case 12: respostaInvalida3(); break;
            case 13: respostaInvalida4(); break;
            case 14: respostaInvalida5(); break;
            case 15: respostaInvalida6(); break;
            case 16: respostaInvalida7(); break;
            case 17: respostaInvalida8(); break;
            case 18: respostaInvalida9(); break;
            case 19: respostaInvalida10(); break;
            case 20: respostaInvalida11(); break;
            case 21: respostaInvalida12(); break;
            case 22: respostaInvalida13(); break;
        }
    }

    /**
     * Returns the number of rules.
     *
     * @return the number of rules.
     */
    public int getNumberOfRules() {
        return 23;
    }

    /**
     * Returns the identifiers declared in a given rule.
     *
     * @param ruleIndex the index of the rule.
     * @return an array with the identifiers of the rule declarations.
     */
    public String[] getDeclaredIdentifiers(int ruleIndex) {
        switch (ruleIndex) {
            case 0: return getDeclaredIdentifiers_verificaPreenchimento1();
            case 1: return getDeclaredIdentifiers_verificaPreenchimento2();
            case 2: return getDeclaredIdentifiers_verificaPreenchimento3();
            case 3: return getDeclaredIdentifiers_verificaPreenchimento4();
            case 4: return getDeclaredIdentifiers_habilitaCampos1();
            case 5: return getDeclaredIdentifiers_habilitaCampos2();
            case 6: return getDeclaredIdentifiers_habilitaCampos3();
            case 7: return getDeclaredIdentifiers_respostaValida1();
            case 8: return getDeclaredIdentifiers_respostaValida2();
            case 9: return getDeclaredIdentifiers_respostaValida3();
            case 10: return getDeclaredIdentifiers_respostaInvalida1();
            case 11: return getDeclaredIdentifiers_respostaInvalida2();
            case 12: return getDeclaredIdentifiers_respostaInvalida3();
            case 13: return getDeclaredIdentifiers_respostaInvalida4();
            case 14: return getDeclaredIdentifiers_respostaInvalida5();
            case 15: return getDeclaredIdentifiers_respostaInvalida6();
            case 16: return getDeclaredIdentifiers_respostaInvalida7();
            case 17: return getDeclaredIdentifiers_respostaInvalida8();
            case 18: return getDeclaredIdentifiers_respostaInvalida9();
            case 19: return getDeclaredIdentifiers_respostaInvalida10();
            case 20: return getDeclaredIdentifiers_respostaInvalida11();
            case 21: return getDeclaredIdentifiers_respostaInvalida12();
            case 22: return getDeclaredIdentifiers_respostaInvalida13();
            default: return new String[0];
        }
    }

    /**
     * Sets an object that represents a declaration of some rule.
     *
     * @param ruleIndex the index of the rule
     * @param declIndex the index of the declaration in the rule.
     * @param value the value of the object being set.
     */
    public void setObject(int ruleIndex, int declIndex, Object value) {
        switch (ruleIndex) {
            case 0: setObject_verificaPreenchimento1(declIndex, value); break;
            case 1: setObject_verificaPreenchimento2(declIndex, value); break;
            case 2: setObject_verificaPreenchimento3(declIndex, value); break;
            case 3: setObject_verificaPreenchimento4(declIndex, value); break;
            case 4: setObject_habilitaCampos1(declIndex, value); break;
            case 5: setObject_habilitaCampos2(declIndex, value); break;
            case 6: setObject_habilitaCampos3(declIndex, value); break;
            case 7: setObject_respostaValida1(declIndex, value); break;
            case 8: setObject_respostaValida2(declIndex, value); break;
            case 9: setObject_respostaValida3(declIndex, value); break;
            case 10: setObject_respostaInvalida1(declIndex, value); break;
            case 11: setObject_respostaInvalida2(declIndex, value); break;
            case 12: setObject_respostaInvalida3(declIndex, value); break;
            case 13: setObject_respostaInvalida4(declIndex, value); break;
            case 14: setObject_respostaInvalida5(declIndex, value); break;
            case 15: setObject_respostaInvalida6(declIndex, value); break;
            case 16: setObject_respostaInvalida7(declIndex, value); break;
            case 17: setObject_respostaInvalida8(declIndex, value); break;
            case 18: setObject_respostaInvalida9(declIndex, value); break;
            case 19: setObject_respostaInvalida10(declIndex, value); break;
            case 20: setObject_respostaInvalida11(declIndex, value); break;
            case 21: setObject_respostaInvalida12(declIndex, value); break;
            case 22: setObject_respostaInvalida13(declIndex, value); break;
        }
    }

    /**
     * Returns an object that represents a declaration of some rule.
     *
     * @param ruleIndex the index of the rule
     * @param declIndex the index of the declaration in the rule.
     * @return the value of the corresponding object.
     */
    public Object getObject(int ruleIndex, int declIndex) {
        switch (ruleIndex) {
            case 0: return getObject_verificaPreenchimento1(declIndex);
            case 1: return getObject_verificaPreenchimento2(declIndex);
            case 2: return getObject_verificaPreenchimento3(declIndex);
            case 3: return getObject_verificaPreenchimento4(declIndex);
            case 4: return getObject_habilitaCampos1(declIndex);
            case 5: return getObject_habilitaCampos2(declIndex);
            case 6: return getObject_habilitaCampos3(declIndex);
            case 7: return getObject_respostaValida1(declIndex);
            case 8: return getObject_respostaValida2(declIndex);
            case 9: return getObject_respostaValida3(declIndex);
            case 10: return getObject_respostaInvalida1(declIndex);
            case 11: return getObject_respostaInvalida2(declIndex);
            case 12: return getObject_respostaInvalida3(declIndex);
            case 13: return getObject_respostaInvalida4(declIndex);
            case 14: return getObject_respostaInvalida5(declIndex);
            case 15: return getObject_respostaInvalida6(declIndex);
            case 16: return getObject_respostaInvalida7(declIndex);
            case 17: return getObject_respostaInvalida8(declIndex);
            case 18: return getObject_respostaInvalida9(declIndex);
            case 19: return getObject_respostaInvalida10(declIndex);
            case 20: return getObject_respostaInvalida11(declIndex);
            case 21: return getObject_respostaInvalida12(declIndex);
            case 22: return getObject_respostaInvalida13(declIndex);
            default: return null;
        }
    }

    /**
     * Returns all variables bound to the declarations of
     * some rule.
     *
     * @param ruleIndex the index of the rule
     * @return an object array of the variables bound to the
     *          declarations of some rule.
     */
    public Object[] getObjects(int ruleIndex) {
        switch (ruleIndex) {
            case 0: return getObjects_verificaPreenchimento1();
            case 1: return getObjects_verificaPreenchimento2();
            case 2: return getObjects_verificaPreenchimento3();
            case 3: return getObjects_verificaPreenchimento4();
            case 4: return getObjects_habilitaCampos1();
            case 5: return getObjects_habilitaCampos2();
            case 6: return getObjects_habilitaCampos3();
            case 7: return getObjects_respostaValida1();
            case 8: return getObjects_respostaValida2();
            case 9: return getObjects_respostaValida3();
            case 10: return getObjects_respostaInvalida1();
            case 11: return getObjects_respostaInvalida2();
            case 12: return getObjects_respostaInvalida3();
            case 13: return getObjects_respostaInvalida4();
            case 14: return getObjects_respostaInvalida5();
            case 15: return getObjects_respostaInvalida6();
            case 16: return getObjects_respostaInvalida7();
            case 17: return getObjects_respostaInvalida8();
            case 18: return getObjects_respostaInvalida9();
            case 19: return getObjects_respostaInvalida10();
            case 20: return getObjects_respostaInvalida11();
            case 21: return getObjects_respostaInvalida12();
            case 22: return getObjects_respostaInvalida13();
            default: return null;
        }
    }
    /**
     * Defines all variables bound to the declarations of
     * some rule.
     *
     * @param ruleIndex the index of the rule
     * @param objects an object array of the variables bound to the
     *          declarations of some rule.
     */
    public void setObjects(int ruleIndex, Object[] objects) {
        switch (ruleIndex) {
            case 0: setObjects_verificaPreenchimento1(objects); break;
            case 1: setObjects_verificaPreenchimento2(objects); break;
            case 2: setObjects_verificaPreenchimento3(objects); break;
            case 3: setObjects_verificaPreenchimento4(objects); break;
            case 4: setObjects_habilitaCampos1(objects); break;
            case 5: setObjects_habilitaCampos2(objects); break;
            case 6: setObjects_habilitaCampos3(objects); break;
            case 7: setObjects_respostaValida1(objects); break;
            case 8: setObjects_respostaValida2(objects); break;
            case 9: setObjects_respostaValida3(objects); break;
            case 10: setObjects_respostaInvalida1(objects); break;
            case 11: setObjects_respostaInvalida2(objects); break;
            case 12: setObjects_respostaInvalida3(objects); break;
            case 13: setObjects_respostaInvalida4(objects); break;
            case 14: setObjects_respostaInvalida5(objects); break;
            case 15: setObjects_respostaInvalida6(objects); break;
            case 16: setObjects_respostaInvalida7(objects); break;
            case 17: setObjects_respostaInvalida8(objects); break;
            case 18: setObjects_respostaInvalida9(objects); break;
            case 19: setObjects_respostaInvalida10(objects); break;
            case 20: setObjects_respostaInvalida11(objects); break;
            case 21: setObjects_respostaInvalida12(objects); break;
            case 22: setObjects_respostaInvalida13(objects); break;
        }
    }

    /*
     * The variables declared in the rules.
     */
    private agentes.Formula agentes_Formula_1;

    /**
     * Class constructor.
     *
     * @param knowledgeBase the knowledge base that contains this rule base.
     */
    public Jeops_RuleBase_FormulaRegras(jeops.AbstractKnowledgeBase knowledgeBase) {
        super(knowledgeBase);
    }

}
/**
 * Knowledge base created by JEOPS from file FormulaRegras.rules
 *
 * @version Dec 1, 2013
 */
public class FormulaRegras extends jeops.AbstractKnowledgeBase {

    /**
     * Creates a new knowledge base with the specified conflict set with the
     * desired conflict resolution policy.
     *
     * @param conflictSet a conflict set with the desired resolution policy
     */
    public FormulaRegras(jeops.conflict.ConflictSet conflictSet) {
        super(conflictSet);
    }

    /**
     * Creates a new knowledge base, using the default conflict resolution
     * policy.
     */
    public FormulaRegras() {
        this(new jeops.conflict.DefaultConflictSet());
    }

    /**
     * Factory method used to instantiate the rule base.
     */
    protected jeops.AbstractRuleBase createRuleBase() {
        return new Jeops_RuleBase_FormulaRegras(this);
    }

}
